changeset 94599:f794a969001a

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Sat, 03 May 2008 20:16:45 +0000
parents bc725ee2bc85
children 296d148bd40b
files ChangeLog
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Sat May 03 20:16:32 2008 +0000
+++ b/ChangeLog	Sat May 03 20:16:45 2008 +0000
@@ -3,6 +3,13 @@
 	* configure.in (x_libraries): Remove standard 64-bit directories -
 	experimental workaround for minor autoconf bug.
 
+	* configure.in (--without-makeinfo): New option.  If set,
+	absence of suitable makeinfo is not a fatal error.
+	* Makefile.in (MAKEINFO): New, set by configure.
+	(install-arch-indep): Without makeinfo, ignore any missing manuals.
+	(info-real): New target.
+	(info): Without makeinfo, do nothing, else call `info-real'.
+
 2008-04-23  Dan Nicolaescu  <dann@ics.uci.edu>
 
 	* configure.in: Remove hpux10.20 from the desupported list.