diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/prettyref/prettyref.ins')
| -rw-r--r-- | Master/texmf-dist/source/latex/prettyref/prettyref.ins | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/prettyref/prettyref.ins b/Master/texmf-dist/source/latex/prettyref/prettyref.ins index e360235c2f5..42fa4f53ee8 100644 --- a/Master/texmf-dist/source/latex/prettyref/prettyref.ins +++ b/Master/texmf-dist/source/latex/prettyref/prettyref.ins @@ -1,3 +1,9 @@ +%% The following copyright and licence notice was added by Clea F. Rees on behalf of Kevin Ruland on 2008/11/05. +%% +%% Copyright 1995, 1998 Kevin Ruland +%% +%% prettyref consists of the files prettyref.dtx, prettyref.ins, prettyref.pdf, README and the derived file prettyref.sty. It is released to the public domain. +%% \def\batchfile{prettyref.ins} \input docstrip.tex |