# HG changeset patch # User Richard M. Stallman # Date 989102196 0 # Node ID 5533c836d34c65b1c6e9d7df7e57746b6d4e3d2d # Parent 2e1126d1c8b24d80410c161955c6043500d3f01f Make the `@defcodeindex op' command unconditional. diff -r 2e1126d1c8b2 -r 5533c836d34c man/emacs.texi --- a/man/emacs.texi Sat May 05 22:35:54 2001 +0000 +++ b/man/emacs.texi Sat May 05 22:36:36 2001 +0000 @@ -3,12 +3,7 @@ @setchapternewpage odd @settitle GNU Emacs Manual @setfilename ../info/emacs -@c The Option Index is produced only in the on-line version, -@c because the index entries related to command-line options -@c tend to point to the same pages and all begin with a dash. -@ifnottex @defcodeindex op -@end ifnottex @synindex pg cp @c The edition number appears in several places in this file