diff options
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 12841fde..9a62fb8d 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -263,6 +263,12 @@ Some comments on the layout for TeX. @finalout @end iftex +@c Enabled '-quotes in PDF files so that cut/paste works in +@c more places. + +@codequoteundirected on +@codequotebacktick on + @copying @docbook <para> |