PATCH: RE: PATCH: "User Contributions" manual, & misc.

["Andrej Borsenkow" <Andrej.Borsenkow@xxxxxxxxxxxxxx>]

>
> - My super-brand-new yodl 1.31 turns the ``interesting'' into
>   "interesting'' in the info file. Looks kinda weird (and is used in
>   other places, too).
>

For all I can tell it always was so (just look in makeinfo source). This makes
it in line with Bart's patch in 7414; this also looks better in printed DVI
than before.

-andrej

Index: Doc/ztexi.yo
===================================================================
RCS file: /cvsroot/zsh/zsh/Doc/ztexi.yo,v
retrieving revision 1.2
diff -u -r1.2 ztexi.yo
--- Doc/ztexi.yo        2000/04/01 20:43:44     1.2
+++ Doc/ztexi.yo        2000/09/06 14:35:54
@@ -25,6 +25,7 @@
 )
 USECHARTABLE(standard)
 SUBST('')(NOTRANS(@value{dsq}))
+SUBST(``)(NOTRANS(@value{dsbq}))

 def(STDPAR)(0)(redef(PARAGRAPH)(0)(NL()NL()NOTRANS(@noindent)NL()))

@@ -56,9 +57,11 @@
   NL()\
   NOTRANS(@ifinfo)NL()\
   NOTRANS(@set dsq '@:')NL()\
+  NOTRANS(@set dsbq `@:`)NL()\
   NOTRANS(@end ifinfo)NL()\
   NOTRANS(@iftex)NL()\
   NOTRANS(@set dsq '{}')NL()\
+  NOTRANS(@set dsbq `{}`)NL()\
   NOTRANS(@end iftex)NL()\
   NOTRANS(@ifinfo)NL()\
   NOTRANS(@dircategory Utilities)NL()\