diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/rgltxdoc/rgltxdoc.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/rgltxdoc/rgltxdoc.ins | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/rgltxdoc/rgltxdoc.ins b/Master/texmf-dist/source/latex/rgltxdoc/rgltxdoc.ins new file mode 100644 index 00000000000..5a59fb740ed --- /dev/null +++ b/Master/texmf-dist/source/latex/rgltxdoc/rgltxdoc.ins @@ -0,0 +1,38 @@ +%% +%% Copyright (C) 2018-2019 by Richard Grewe <r-g+tex@posteo.net> +%% +%% This file may be distributed and/or modified under the conditions of +%% the LaTeX Project Public License, either version 1.2 of this license +%% or (at your option) any later version. The latest version of this +%% license is in: +%% +%% http://www.latex-project.org/lppl.txt +%% +%% and version 1.2 or later is part of all distributions of LaTeX version +%% 1999/12/01 or later. +%% +\input docstrip.tex +\keepsilent + +\usedir{tex/latex/rgltxdoc} +\preamble + +Copyright (C) 2018-2019 by Richard Grewe <r-g+tex@posteo.net> + +This file may be distributed and/or modified under the conditions of +the LaTeX Project Public License, either version 1.2 of this license +or (at your option) any later version. The latest version of this +license is in: + + http://www.latex-project.org/lppl.txt + +and version 1.2 or later is part of all distributions of LaTeX version +1999/12/01 or later. + +\endpreamble + +\generate{\file{rgltxdoc.sty}{\from{rgltxdoc.dtx}{package}}} + +\nopreamble\nopostamble + +\endbatchfile |