diff options
| author | Glenn Morris <rgm@gnu.org> | 2008-05-03 20:16:45 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2008-05-03 20:16:45 +0000 |
| commit | 79bc8bbb21e553f853a7c7e060f64c02426d0d73 (patch) | |
| tree | 196e5349fa03e83413a94dc2a99dcfe07ad673b5 /ChangeLog | |
| parent | 4c18f8b45c81f17023dd2f5e99850dfde73ab047 (diff) | |
| download | emacs-79bc8bbb21e553f853a7c7e060f64c02426d0d73.tar.gz | |
(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'.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index d9aa7dd8a58..d5ab34f6252 100644 --- a/ChangeLog +++ b/ChangeLog @@ -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. |