diff options
Diffstat (limited to 'Master/texmf-dist/source/platex/jsclasses/okuverb.ins')
-rw-r--r-- | Master/texmf-dist/source/platex/jsclasses/okuverb.ins | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/platex/jsclasses/okuverb.ins b/Master/texmf-dist/source/platex/jsclasses/okuverb.ins index 6a919a4f0b9..aa4e33f8a31 100644 --- a/Master/texmf-dist/source/platex/jsclasses/okuverb.ins +++ b/Master/texmf-dist/source/platex/jsclasses/okuverb.ins @@ -1,4 +1,4 @@ -\def\batchfile{okuverb.ins} +\def\batchfile{okuverb.ins} \input docstrip.tex \keepsilent \generateFile{okuverb.sty}{f}{\from{okuverb.dtx}{okuverb}} |