File: edmargin.ins

package info (click to toggle)
texlive-extra 2012.20120611-2
  • links: PTS
  • area: main
  • in suites: wheezy
  • size: 1,508,552 kB
  • sloc: perl: 75,280; makefile: 12,192; sh: 9,570; python: 6,296; csh: 2,987; java: 1,367; ansic: 1,032; xml: 896; lisp: 541; lex: 358; ruby: 150; tcl: 142; sed: 28; pascal: 18; awk: 10
file content (36 lines) | stat: -rw-r--r-- 980 bytes parent folder | download | duplicates (10)
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
35
36
%%
%% Copyright (C) 2008 by John Burt
%%
%% This file may be distributed and/or modified under the conditions
%% of the LateX Project Public License, either verison 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.
%%
 
\input docstrip.tex
\keepsilent

\generate{\file {edmargin.sty} {\from {edmargin.dtx}{package}}}
 
\Msg{***********************************************************}
\Msg{*}
\Msg{* To finish the installation, please move the following}
\Msg{* file into a directory searched by TeX:}
\Msg{*}
\Msg{*   \space\space edmargin.sty}
\Msg{*}
\Msg{* To produce the documentation, run LaTeX on the file:}
\Msg{*}
\Msg{* 	 \space\space endheads.dtx}
\Msg{*}
\Msg{* Happy TeXing!}
\Msg{***********************************************************}

\endbatchfile