The make.texi file has:
@settitle GNU @code{make}
I noticed it while trying to generate the documentation for the GNU
Webserver, because the scripts don't tags in @settitle. But, I think
that this is incorrect anyway -
http://www.gnu.org/manual/texinfo/html_node/code.html#code says that
@code is "to indicate text that is a piece of a program and which
consists of entire syntactic tokens."
So, I think it shouldn't be @code.
Tks,
Jeff Bailey
_______________________________________________
Bug-make mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-make
