From 9304ad88a5f4b083d348563c5de00da53b34cf46 Mon Sep 17 00:00:00 2001 From: Fabrice Fontaine
Date: Fri, 6 Mar 2020 23:20:39 +0100 Subject: [PATCH] Makefile.am: fix build without makeinfo Don't build doc subdir if makeinfo is not available otherwise build fails on: make[4]: Entering directory '/nvmedata/autobuild/instance-7/output-1/build/host-guile-2.0.14/doc/ref' MAKEINFO guile.info /nvmedata/autobuild/instance-7/output-1/build/host-guile-2.0.14/build-aux/missing: line 81: makeinfo: command not found WARNING: 'makeinfo' is missing on your system. You should only need it if you modified a '.texi' file, or any other file indirectly affecting the aspect of the manual. You might want to install the Texinfo package: