2 files changed, 7 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 879ad16e34bf..bab5d98f06c4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index cdd321fef4a0..066120bb14cd 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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() {