On Sat, 9 Mar 2002, Neil Booth wrote: > What makes this work in the GCC manual? I've tried it in the > CPP manual and it doesn't work. @c Create a separate index for command line options. @defcodeindex op ... @printindex op in gcc.texi. -- Joseph S. Myers jsm28@cam.ac.uk