diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-12-11 19:37:38 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-12-11 19:37:38 -0800 |
| commit | f9405d87cdbb4e2072b6c53ee9c5c01ca14d41de (patch) | |
| tree | b903740ea85ca4487048efb8db12bfa23c1c6010 /doc/misc/octave-mode.texi | |
| parent | d5ccb7be025ddc5a6ac8c5291d89596b78d9745c (diff) | |
| download | emacs-f9405d87cdbb4e2072b6c53ee9c5c01ca14d41de.tar.gz | |
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 'doc/misc/octave-mode.texi')
| -rw-r--r-- | doc/misc/octave-mode.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/octave-mode.texi b/doc/misc/octave-mode.texi index 2efe9f9d1c4..50bb4f11f2a 100644 --- a/doc/misc/octave-mode.texi +++ b/doc/misc/octave-mode.texi @@ -22,7 +22,7 @@ modify this GNU manual.'' @dircategory Emacs editing modes @direntry -* Octave mode: (octave-mode). Emacs mode for editing GNU Octave files. +* Octave mode: (octave-mode). Emacs mode for editing GNU Octave files. @end direntry @finalout |