diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/bigfoot/bigfoot.ins')
| -rw-r--r-- | Master/texmf-dist/source/latex/bigfoot/bigfoot.ins | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/bigfoot/bigfoot.ins b/Master/texmf-dist/source/latex/bigfoot/bigfoot.ins new file mode 100644 index 00000000000..6f3200db1f4 --- /dev/null +++ b/Master/texmf-dist/source/latex/bigfoot/bigfoot.ins @@ -0,0 +1,40 @@ +%% +%% 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> +%% + \input docstrip + \generate{ + \file{bigfoot.drv}{\from{bigfoot.dtx}{driver}} + \file{perpage.drv}{\from{perpage.dtx}{driver}} + \file{suffix.drv}{\from{suffix.dtx}{driver}} + \usedir{tex/latex/bigfoot} + \file{bigfoot.sty}{\from{bigfoot.dtx}{style}} + \file{perpage.sty}{\from{perpage.dtx}{style}} + \file{suffix.sty}{\from{suffix.dtx}{style}} + } + \endbatchfile +\endinput +%% +%% End of file `bigfoot.ins'. |