diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/bigfoot/bigfoot.ins')
| -rw-r--r-- | Master/texmf-dist/source/latex/bigfoot/bigfoot.ins | 27 |
1 files changed, 4 insertions, 23 deletions
diff --git a/Master/texmf-dist/source/latex/bigfoot/bigfoot.ins b/Master/texmf-dist/source/latex/bigfoot/bigfoot.ins index 6f3200db1f4..f445cedcd79 100644 --- a/Master/texmf-dist/source/latex/bigfoot/bigfoot.ins +++ b/Master/texmf-dist/source/latex/bigfoot/bigfoot.ins @@ -1,28 +1,9 @@ %% -%% This is file `bigfoot.ins', -%% generated with the docstrip utility. -%% -%% The original source files were: -%% -%% bigfoot.dtx (with options: `installer') -%% -%% IMPORTANT NOTICE: -%% -%% For the copyright see the source file. -%% -%% Any modified versions of this file must be renamed -%% with new filenames distinct from bigfoot.ins. -%% -%% For distribution of the original source see the terms -%% for copying and modification in the file bigfoot.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.) -%% %% bigfoot is part of the bigfoot bundle for critical typesetting -%% Copyright 2004, 05, 06 David Kastrup <dak@gnu.org> +%% Copyright 2004--2014 David Kastrup <dak@gnu.org> +%% +%% The license notice and corresponding source code for this file are +%% contained in bigfoot.dtx. %% \input docstrip \generate{ |