diff options
author | Alex Szczuczko | 2019-05-15 07:27:57 -0600 |
---|---|---|
committer | Alex Szczuczko | 2019-05-15 07:28:56 -0600 |
commit | 4144fd7f9de434cc780266d86c5726fc5db29e3d (patch) | |
tree | a7718c8102c4313d9387c2fd37384f3d831859ae | |
parent | 81798a425867cc7c38b9c71e076c3709e1ebb4e0 (diff) | |
download | aur-4144fd7f9de434cc780266d86c5726fc5db29e3d.tar.gz |
Force html documentation to be generated
Otherwise the install will fail, complaining that its missing.
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 7 insertions, 1 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Wed May 15 12:46:24 UTC 2019 +# Wed May 15 13:28:41 UTC 2019 pkgbase = nusmv pkgdesc = A new symbolic model checker pkgver = 2.6.0 @@ -41,6 +41,12 @@ build() { cd build cmake .. -DPYTHON_EXECUTABLE=/bin/python2 -DCMAKE_INSTALL_PREFIX=/usr -Wno-dev make + + # For some reason the cmake makefiles don't call this, leading to an error + # at install time. + pushd doc/prog-man + doxygen doxygen_nusmv_html.conf + popd } package() { |