Path: utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!tut.cis.ohio-state.edu!ORION.MC.DUKE.EDU!bet
From: bet@ORION.MC.DUKE.EDU (Bennett Todd)
Newsgroups: gnu.bash.bug
Subject: documentation/bash.texinfo
Message-ID: <8912221825.AA00395@orion>
Date: 22 Dec 89 18:25:09 GMT
Sender: daemon@tut.cis.ohio-state.edu
Distribution: gnu
Organization: GNUs Not Usenet
Lines: 21

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