diff options
| author | Glenn Morris | 2008-05-03 20:16:15 +0000 |
|---|---|---|
| committer | Glenn Morris | 2008-05-03 20:16:15 +0000 |
| commit | 4c18f8b45c81f17023dd2f5e99850dfde73ab047 (patch) | |
| tree | 800a8fcf93a81416e69d800444701a105e943ed4 /ChangeLog | |
| parent | 175aea10f7d01f138993539274cd71ddf75a0b48 (diff) | |
| download | emacs-4c18f8b45c81f17023dd2f5e99850dfde73ab047.tar.gz emacs-4c18f8b45c81f17023dd2f5e99850dfde73ab047.zip | |
(--without-makeinfo): New option. If set, absence of suitable
makeinfo is not a fatal error.
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions