diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/tcldoc/tools/sourcedtx.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/tcldoc/tools/sourcedtx.ins | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/tcldoc/tools/sourcedtx.ins b/Master/texmf-dist/source/latex/tcldoc/tools/sourcedtx.ins new file mode 100644 index 00000000000..f26acf7ee73 --- /dev/null +++ b/Master/texmf-dist/source/latex/tcldoc/tools/sourcedtx.ins @@ -0,0 +1,31 @@ +% sourcedtx.ins --- DOCSTRIP installation script for sourcedtx.tcl. +\input docstrip + +% Redefine the \MetaPrefix; it should be something which starts a +% until-end-of-line comment: +\edef\MetaPrefix{\string#\string#} + + +% Redefine the file preamble and postamble; this is necessary because +% otherwise the old \metaPrefix is inserted at the beginning of these +% lines. +\preamble + +This file is put in the public domain. Note however that +************************************** +* This Source is not the True Source * +************************************** +the true source is the file from which this one was generated. + +\endpreamble + +\postamble +\endpostamble + +% Actually make sourcedtx.tcl: +\generate{ + \file{sourcedtx.tcl}{\from{sourcedtx.dtx}{pkg}} +} + + +\end |