File: doctools.ins

package info (click to toggle)
texlive-extra 2022.20230122-4
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 4,466,588 kB
  • sloc: perl: 398,710; xml: 35,871; python: 29,125; cs: 25,850; sh: 17,610; makefile: 17,304; ansic: 15,490; java: 12,811; javascript: 9,898; lisp: 1,755; csh: 1,129; ruby: 1,072; awk: 151; tcl: 142; pascal: 138; cpp: 41; sed: 36; haskell: 5
file content (29 lines) | stat: -rw-r--r-- 1,134 bytes parent folder | download | duplicates (8) 
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
 
% See file 'doctools.dtx' for copyright and licence.
%
\input docstrip.tex
\keepsilent
\askforoverwritefalse

\usedir{tex/latex/doctools}

\generate{%
  \file{doctools.sty}{\nopreamble\from{doctools.dtx}{doctools.sty}}
}

\obeyspaces
\Msg{*************************************************************}
\Msg{*                                                           *}
\Msg{* To finish the installation you have to move the following *}
\Msg{* file into a directory searched by TeX:                    *}
\Msg{*                                                           *}
\Msg{*     doctools.sty                                          *}
\Msg{*                                                           *}
\Msg{* To produce the documentation run the file                 *}
\Msg{* codesection.dtx through LaTeX.                            *}
\Msg{*                                                           *}
\Msg{* Happy TeXing!                                             *}
\Msg{*                                                           *}
\Msg{*************************************************************}


\endbatchfile