blob: 66a595723dbad9a7b64481c9f8b1ade367f2320d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
%% CVSId: $Id: semantic.ins,v 1.6 2002/07/11 17:30:07 turtle Exp $
%% semantic.ins (c)1995--2002 Peter Møller Neergaard and
%% Arne John Glenstrup
%%
%
% This program 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.
%
% This program consists of the files semantic.dtx and semantic.ins
%
% This file is the driver program used to install the semantic package from
% the file semantic.dtx.
%
% You install the package by running tex on semantic.ins, i.e.,
%
% tex semantic.ins
%
\def\batchfile{semantic.ins}
\input docstrip
\keepsilent
\generateFile{semantic.sty}{f}{\from{semantic.dtx}{general}}
\generateFile{infernce.sty}{f}{\from{semantic.dtx}{allOptions,inference}}
\generateFile{ligature.sty}{f}{\from{semantic.dtx}{allOptions,ligature}}
\generateFile{tdiagram.sty}{f}{\from{semantic.dtx}{allOptions,Tdiagram}}
\generateFile{reserved.sty}{f}{\from{semantic.dtx}{allOptions,reservedWords}}
\generateFile{shrthand.sty}{f}{\from{semantic.dtx}{allOptions,shorthand}}
|
