File: jadetex.ins

package info (click to toggle)
jadetex 3.12-2
  • links: PTS
  • area: main
  • in suites: woody
  • size: 1,080 kB
  • ctags: 93
  • sloc: xml: 736; sh: 153; makefile: 125
file content (9 lines) | stat: -rw-r--r-- 282 bytes parent folder | download | duplicates (14) 
1
2
3
4
5
6
7
8
9
 
\def\batchfile{jadetex.ins}
\input docstrip.tex
\keepsilent
\preamble
\endpreamble
\generateFile{jadetex.ltx}{f}{\from{jadetex.dtx}{package}}
\generateFile{dsssl.def}  {f}{\from{jadetex.dtx}{dsssldef}}
\Msg{***************************************************************}
\endinput