From 99996f96cd42b413c337e20782d56bd17aad98dd Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Thu, 14 Sep 2017 16:10:12 -0700
Subject: [PATCH] devops: Install the manpage.

---
 src/devops/build.scm | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/devops/build.scm b/src/devops/build.scm
index b28f7313f..071fa8dc2 100644
--- 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)))
-- 
2.25.1