bet@ORION.MC.DUKE.EDU (Bennett Todd) (12/23/89)
Not I know about as little about texinfo as anyone you are liable to find, *but*... >If I am using the shell on the machine Vision at UCSB, and I type >@example >@code{echo `whoami`@`hostname`} >@end example >the output looks like >@display >@code{bfox@@vision.ucsb.edu} >@end display Shouldn't that be two @ signs in the third line of the quote, like so: >@code{echo `whoami`@@`hostname`} That seemed to make life much nicer when I wanted to hardcopy the sucker via texi2roff, and as far as I can tell texinfo-format-buffer is dropping the single '@' altogether. -Bennett bet@orion.mc.duke.edu