PATCH: pws-20: info formatting

[Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>]

In an aside in a message which hasn't got back to me yet, I queried the
excess use of quoting in zsh.info*: it's not too surprising you get this
sort of clash in a documentation system written in half a dozen
incompatible languages at once.  I've had a look at this.  The t(...) are
getting translated into @samp{...} for texinfo; this just changes the font
in tex, but in info it also sticks `quotes' around the text.  The result is
that some entries are surrounded by a single set of quotes, some by two,
and often even had quotes in the middle, for example `${'NAME`}', which
came from tt(${)var(NAME)tt(}).

In our case, we've already thought about when we want quotes (in principle
:-) see Util/zsh-development-guide), so it seems to me sensible to make
t(...) just use the corresponding texinfo font control command @t{}.  The
TeX version is unaltered, unless it was doing something extra too subtle
for me to see.

So I think it looks a lot better after the change -- unless anyone wants to
try something more sophisticated, in which case they run the risk of having
to rewrite the entire documentation.

--- Doc/ztexi.yo.t	Tue Jan 26 14:39:44 1999
+++ Doc/ztexi.yo	Tue Jun  1 16:43:47 1999
@@ -33,7 +33,7 @@
 
 def(em)(1)(NOTRANS(@emph{)ARG1NOTRANS(}))
 def(bf)(1)(NOTRANS(@cite{)ARG1NOTRANS(}))
-def(tt)(1)(NOTRANS(@code{)ARG1NOTRANS(}))
+def(tt)(1)(NOTRANS(@t{)ARG1NOTRANS(}))
 def(var)(1)(NOTRANS(@var{)ARG1NOTRANS(}))
 
 COMMENT(--- man page headers ---)

-- 
Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>       Tel: +39 050 844536
WWW:  http://www.ifh.de/~pws/
Dipartimento di Fisica, Via Buonarroti 2, 56127 Pisa, Italy