diff options
| author | Richard M. Stallman | 2001-05-05 22:36:36 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 2001-05-05 22:36:36 +0000 |
| commit | 42bd692b61ea16a087fe0d1648fea1416385d1ef (patch) | |
| tree | de45d96975c6459dea639afe5f987330f413cc0b | |
| parent | 7fc1fe0951b987d81a9c937f4253c26db7a8f796 (diff) | |
| download | emacs-42bd692b61ea16a087fe0d1648fea1416385d1ef.tar.gz emacs-42bd692b61ea16a087fe0d1648fea1416385d1ef.zip | |
Make the `@defcodeindex op' command unconditional.
| -rw-r--r-- | man/emacs.texi | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/man/emacs.texi b/man/emacs.texi index 4b4a80fbb59..8d32177a805 100644 --- a/man/emacs.texi +++ b/man/emacs.texi | |||
| @@ -3,12 +3,7 @@ | |||
| 3 | @setchapternewpage odd | 3 | @setchapternewpage odd |
| 4 | @settitle GNU Emacs Manual | 4 | @settitle GNU Emacs Manual |
| 5 | @setfilename ../info/emacs | 5 | @setfilename ../info/emacs |
| 6 | @c The Option Index is produced only in the on-line version, | ||
| 7 | @c because the index entries related to command-line options | ||
| 8 | @c tend to point to the same pages and all begin with a dash. | ||
| 9 | @ifnottex | ||
| 10 | @defcodeindex op | 6 | @defcodeindex op |
| 11 | @end ifnottex | ||
| 12 | @synindex pg cp | 7 | @synindex pg cp |
| 13 | 8 | ||
| 14 | @c The edition number appears in several places in this file | 9 | @c The edition number appears in several places in this file |