diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/ydoc/ydocstrip.tex')
-rw-r--r-- | Master/texmf-dist/tex/latex/ydoc/ydocstrip.tex | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/Master/texmf-dist/tex/latex/ydoc/ydocstrip.tex b/Master/texmf-dist/tex/latex/ydoc/ydocstrip.tex index 25ec2c5e63f..358db8ae451 100644 --- a/Master/texmf-dist/tex/latex/ydoc/ydocstrip.tex +++ b/Master/texmf-dist/tex/latex/ydoc/ydocstrip.tex @@ -1,4 +1,17 @@ -%&pdflatex +%% +%% This is file `ydocstrip.tex', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% ydoc.dtx (with options: `ydocstrip.tex') +%% +\expandafter\ifx\csname ydocstripversion\endcsname\relax\else + \noindent +\fi + +\chardef\ydocstripversion=1 + \input docstrip \def\checkOption<#1{% @@ -50,7 +63,6 @@ \fi }} - \def\valueOption !#1>#2\endLine{% \begingroup \expandafter\let\expandafter\var\csname ydocstrip@var@#1\endcsname @@ -67,4 +79,6 @@ \endgroup } - +\endinput +%% +%% End of file `ydocstrip.tex'. |