diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/jvlisting/examples.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/jvlisting/examples.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/jvlisting/examples.tex b/Master/texmf-dist/doc/latex/jvlisting/examples.tex index 6c7e759a2e6..218780eeaf4 100644 --- a/Master/texmf-dist/doc/latex/jvlisting/examples.tex +++ b/Master/texmf-dist/doc/latex/jvlisting/examples.tex @@ -50,8 +50,8 @@ \end{nlisting} \newwrite\outfile -\newcommand{\copytypeset}[1]{\immediate\write\outfile{#1}% - \ListingTypesetLine{#1}} +\newcommand{\copytypeset}[1]{\ListingTypesetLine{#1}% + {\DisableLigatureFix\immediate\write\outfile{#1}}} \NewListingEnvironment{copylisting}{1}{\prelistingskip}% {\immediate\openout\outfile=#1\listingfont}{\copytypeset}% {\immediate\closeout\outfile\postlistingskip} |