diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/plweb/pcode.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/plweb/pcode.sty | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex/latex/plweb/pcode.sty b/Master/texmf-dist/tex/latex/plweb/pcode.sty index 8f678774743..665f2ff5139 100644 --- a/Master/texmf-dist/tex/latex/plweb/pcode.sty +++ b/Master/texmf-dist/tex/latex/plweb/pcode.sty @@ -10,12 +10,16 @@ %% %% For the copyright see the source file. %% -%% You are *not* allowed to modify this file. +%% Any modified versions of this file must be renamed +%% with new filenames distinct from pcode.sty. %% -%% You are *not* allowed to distribute this file. %% For distribution of the original source see the terms %% for copying and modification in the file pl.dtx. %% +%% This generated file may be distributed as long as the +%% original source files, as listed above, are part of the +%% same distribution. (The sources need not necessarily be +%% in the same archive or directory.) \ifx\PrologFont\relax\else\input pl.sty\fi \def\PrologQuintustrue{\PrologDialect{quintus}} \def\PrologQuintusfalse{\PrologDialect{eclipse}} |