zsh-workers
 help / color / mirror / code / Atom feed
* PATCH: pws-20: info formatting
@ 1999-06-01 15:03 Peter Stephenson
  1999-06-01 18:50 ` Bart Schaefer
  0 siblings, 1 reply; 3+ messages in thread
From: Peter Stephenson @ 1999-06-01 15:03 UTC (permalink / raw)
  To: Zsh hackers list

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@ibmth.df.unipi.it>       Tel: +39 050 844536
WWW:  http://www.ifh.de/~pws/
Dipartimento di Fisica, Via Buonarroti 2, 56127 Pisa, Italy


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~1999-06-02  7:54 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-06-01 15:03 PATCH: pws-20: info formatting Peter Stephenson
1999-06-01 18:50 ` Bart Schaefer
1999-06-02  7:26   ` Peter Stephenson

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).