Details
-
Bug
-
Status: Closed
-
Critical
-
Resolution: Fixed
-
all
-
Linux
Description
INSTALL states that: "If `makeinfo' is not installed before `configure' is run, then the documentation will not be created and installed." I dont have this installed on my system and therefore configure should create a Makefile that does not try to install documentation. I could issue "make install" without errors after manually removing "install-docs" from the "install-static" directive in Makefile.
Original issue reported by elements