File: ntheorem.ins

package info (click to toggle)
tetex-src 3.0.dfsg.2-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 122,292 kB
  • ctags: 2,709
  • sloc: makefile: 2,323; perl: 1,820; sh: 1,378; lisp: 448; python: 335; xml: 175; sed: 138; ansic: 138; yacc: 52
file content (18 lines) | stat: -rw-r--r-- 696 bytes parent folder | download | duplicates (13)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
\def\filedate{1997/04/21}
\def\batchfile{ntheorem.ins}
\input docstrip.tex
\generateFile{ntheorem.drv}{t}{\from{ntheorem.dtx}{driver}}
\generateFile{ntheorem.sty}{t}{\from{ntheorem.dtx}{package}}
\generateFile{ntheorem.std}{t}{\from{ntheorem.dtx}{standard}}
%
\Msg{***************************************************************}
\Msg{*}
\Msg{* To finish the installation you have to move the following}
\Msg{* files into a directory searched by TeX:}
\Msg{*}
\Msg{* All the files with the extension '.sty' and '.std'}
\Msg{*}
\Msg{* To produce the documentation run the .drv File through LaTeX.}
\Msg{*}
\Msg{* Happy TeXing}
\Msg{***************************************************************}