# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1209845805 0
# Node ID f794a969001a29c308c5ed777f11cf11c9307811
# Parent  bc725ee2bc85379a4ce944c5d0908d52ddd86e7e
*** empty log message ***

diff -r bc725ee2bc85 -r f794a969001a ChangeLog
--- 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.