devops: Install the manpage.

diff --git a/src/devops/build.scm b/src/devops/build.scm
index b28f7313fcce1fed0dd765d5a8781d4222061af1..071fa8dc2a6fa6fba2ab47ae1215e440a45a242b 100644 (file)
--- a/src/devops/build.scm
+++ b/src/devops/build.scm
@@ -117,8 +117,7 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
     (run "cd "pkgdir"/src && make compile-microcode")
     (run "cd "pkgdir"/src && umask 022 && make install")
     (run "cd "pkgdir"/doc && ./configure")
-    (run "cd "pkgdir"/doc && umask 022"
-        " && make install-info install-html install-pdf")))
+    (run "cd "pkgdir"/doc && umask 022 && make install install-pdf")))
 
 (define (build-core-dpkg name vers)
   (let ((pkgdir (string build-dir"/"name"-"vers)))