comparison ChangeLog @ 94599:f794a969001a

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Sat, 03 May 2008 20:16:45 +0000
parents 0a6e325623c1
children a0615a586d39
comparison
equal deleted inserted replaced
94598:bc725ee2bc85 94599:f794a969001a
1 2008-05-03 Glenn Morris <rgm@gnu.org> 1 2008-05-03 Glenn Morris <rgm@gnu.org>
2 2
3 * configure.in (x_libraries): Remove standard 64-bit directories - 3 * configure.in (x_libraries): Remove standard 64-bit directories -
4 experimental workaround for minor autoconf bug. 4 experimental workaround for minor autoconf bug.
5
6 * configure.in (--without-makeinfo): New option. If set,
7 absence of suitable makeinfo is not a fatal error.
8 * Makefile.in (MAKEINFO): New, set by configure.
9 (install-arch-indep): Without makeinfo, ignore any missing manuals.
10 (info-real): New target.
11 (info): Without makeinfo, do nothing, else call `info-real'.
5 12
6 2008-04-23 Dan Nicolaescu <dann@ics.uci.edu> 13 2008-04-23 Dan Nicolaescu <dann@ics.uci.edu>
7 14
8 * configure.in: Remove hpux10.20 from the desupported list. 15 * configure.in: Remove hpux10.20 from the desupported list.
9 16