summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/prettyref/prettyref.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/prettyref/prettyref.ins')
-rw-r--r--Master/texmf-dist/source/latex/prettyref/prettyref.ins10
1 files changed, 10 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/prettyref/prettyref.ins b/Master/texmf-dist/source/latex/prettyref/prettyref.ins
new file mode 100644
index 00000000000..e360235c2f5
--- /dev/null
+++ b/Master/texmf-dist/source/latex/prettyref/prettyref.ins
@@ -0,0 +1,10 @@
+\def\batchfile{prettyref.ins}
+\input docstrip.tex
+
+\keepsilent
+\preamble
+
+Copyright (c) 1995 Kevin Ruland
+
+\endpreamble
+\generateFile{prettyref.sty}{t}{\from{prettyref.dtx}{style}}