diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | doc/gnulib.texi | 8 |
2 files changed, 13 insertions, 0 deletions
@@ -1,5 +1,10 @@ 2020-12-05 Paul Eggert <eggert@cs.ucla.edu> + doc: fix curved quotes issue + * doc/gnulib.texi: Set txicodequoteundirected and + txicodequotebacktick so that ` and ' in examples do not generate + curved single quotes that do the wrong thing when cut and pasted. + doc: mention static and dynamic checking * doc/gnulib-readme.texi (High Quality): Add a bit of advice for static and dynamic checking. diff --git a/doc/gnulib.texi b/doc/gnulib.texi index 0620118bf5..bddb80624b 100644 --- a/doc/gnulib.texi +++ b/doc/gnulib.texi @@ -2,6 +2,14 @@ @comment %**start of header @setfilename gnulib.info @settitle GNU Gnulib +@c These two require Texinfo 5.0 or later, so we use the older +@c equivalent @set variables supported in 4.11 and hence +@ignore +@codequotebacktick on +@codequoteundirected on +@end ignore +@set txicodequoteundirected +@set txicodequotebacktick @c Define a new index for the magic constants in regex.texi. @defcodeindex cn @syncodeindex fn cp |