diff options
author | Karl Berry <karl@freefriends.org> | 2014-11-02 21:50:27 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-11-02 21:50:27 +0000 |
commit | 4443aa712503e8404b2152c761c2ab5e1a98d197 (patch) | |
tree | c387f072c69b1415bca5a9878ce161eb50cad9ce /Master/texmf-dist/source/latex/bigfoot/bigfoot.ins | |
parent | 5c146a8c39f3d52b9b6aba7423a0984e5830f407 (diff) |
bigfoot (2nov14)
git-svn-id: svn://tug.org/texlive/trunk@35482 c570f23f-e606-0410-a88d-b1316a301751
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{ |