summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/doctools/doctools.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/doctools/doctools.ins')
-rw-r--r--Master/texmf-dist/source/latex/doctools/doctools.ins29
1 files changed, 29 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/doctools/doctools.ins b/Master/texmf-dist/source/latex/doctools/doctools.ins
new file mode 100644
index 00000000000..c8be20a4a24
--- /dev/null
+++ b/Master/texmf-dist/source/latex/doctools/doctools.ins
@@ -0,0 +1,29 @@
+% See file 'doctools.dtx' for copyright and licence.
+%
+\input docstrip.tex
+\keepsilent
+\askforoverwritefalse
+
+\usedir{tex/latex/doctools}
+
+\generate{%
+ \file{doctools.sty}{\nopreamble\from{doctools.dtx}{doctools.sty}}
+}
+
+\obeyspaces
+\Msg{*************************************************************}
+\Msg{* *}
+\Msg{* To finish the installation you have to move the following *}
+\Msg{* file into a directory searched by TeX: *}
+\Msg{* *}
+\Msg{* doctools.sty *}
+\Msg{* *}
+\Msg{* To produce the documentation run the file *}
+\Msg{* codesection.dtx through LaTeX. *}
+\Msg{* *}
+\Msg{* Happy TeXing! *}
+\Msg{* *}
+\Msg{*************************************************************}
+
+
+\endbatchfile