diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-12-15 20:13:51 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-12-15 20:13:51 +0200 |
| commit | fb48abe6ca16de5887b15f7c7774cd6c2e402176 (patch) | |
| tree | 1b0c77ff95f96ae71b017f894c4b8622d1f43c59 | |
| parent | 893bd9fd3d78eb6d3093971ee3c3700d71da1e77 (diff) | |
| download | egawk-fb48abe6ca16de5887b15f7c7774cd6c2e402176.tar.gz egawk-fb48abe6ca16de5887b15f7c7774cd6c2e402176.tar.bz2 egawk-fb48abe6ca16de5887b15f7c7774cd6c2e402176.zip | |
Get straight quotes in code in the PDF.
| -rw-r--r-- | doc/ChangeLog | 7 | ||||
| -rw-r--r-- | doc/gawk.texi | 6 | ||||
| -rw-r--r-- | doc/gawktexi.in | 6 |
3 files changed, 19 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 515567a6..0e12cae7 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,10 @@ +2019-12-15 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Use `@codequoteundirected on' and + `@codequotebacktick on' to get straight quotes in PDF. Thanks + to empirical@quantbo.com for the report and to Assaf Gordon + for the pointer to the fix. + 2019-11-21 Arnold D. Robbins <arnold@skeeve.com> * gawktexi.in: Document that the time extension is now obsolete. 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> diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 05741cf1..7e40bc5f 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -258,6 +258,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> |