diff options
| author | Glenn Morris | 2013-12-11 19:37:38 -0800 |
|---|---|---|
| committer | Glenn Morris | 2013-12-11 19:37:38 -0800 |
| commit | f9405d87cdbb4e2072b6c53ee9c5c01ca14d41de (patch) | |
| tree | b903740ea85ca4487048efb8db12bfa23c1c6010 /admin/ChangeLog | |
| parent | d5ccb7be025ddc5a6ac8c5291d89596b78d9745c (diff) | |
| download | emacs-f9405d87cdbb4e2072b6c53ee9c5c01ca14d41de.tar.gz emacs-f9405d87cdbb4e2072b6c53ee9c5c01ca14d41de.zip | |
Add support for auto-generating info/dir
* admin/update_autogen: Add option to generate info/dir.
(Usage): Add -I.
(info_flag): New variable.
(-I): New option.
(doc): Maybe check its status.
(info_dir): New function.
* admin/dir_top: New file.
* doc/emacs/emacs.texi:
* doc/lispintro/emacs-lisp-intro.texi:
* doc/lispref/elisp.texi:
* doc/misc/autotype.texi, doc/misc/cc-mode.texi, doc/misc/ediff.texi:
* doc/misc/ert.texi, doc/misc/htmlfontify.texi, doc/misc/ido.texi:
* doc/misc/octave-mode.texi, doc/misc/org.texi, doc/misc/srecode.texi:
* doc/misc/todo-mode.texi, doc/misc/tramp.texi:
Sync direntry with info/dir version.
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index 22824995dfc..b617df9be99 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,3 +1,13 @@ | |||
| 1 | 2013-12-12 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * update_autogen: Add option to generate info/dir. | ||
| 4 | (Usage): Add -I. | ||
| 5 | (info_flag): New variable. | ||
| 6 | (-I): New option. | ||
| 7 | (doc): Maybe check its status. | ||
| 8 | (info_dir): New function. | ||
| 9 | * dir_top: New file. | ||
| 10 | |||
| 1 | 2013-12-11 Paul Eggert <eggert@cs.ucla.edu> | 11 | 2013-12-11 Paul Eggert <eggert@cs.ucla.edu> |
| 2 | 12 | ||
| 3 | Remove the option of using libcrypto. | 13 | Remove the option of using libcrypto. |