summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/plain/cweb/cwebbin/dctproofmac.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/plain/cweb/cwebbin/dctproofmac.tex')
-rw-r--r--Master/texmf-dist/tex/plain/cweb/cwebbin/dctproofmac.tex28
1 files changed, 28 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/plain/cweb/cwebbin/dctproofmac.tex b/Master/texmf-dist/tex/plain/cweb/cwebbin/dctproofmac.tex
new file mode 100644
index 00000000000..09a8de346b6
--- /dev/null
+++ b/Master/texmf-dist/tex/plain/cweb/cwebbin/dctproofmac.tex
@@ -0,0 +1,28 @@
+\ifx\undefined\documentclass\input ctproofmac.tex
+\else\endinput\fi % LaTeX will use other macros
+
+\let\acrofalse=\relax
+\input dcwebstrings.tex
+
+\def\fin{\par\vfill\eject % this is done when we are ending the index
+ \ifpagesaved\null\vfill\eject\fi % output a null index column
+ \if L\lr\else\null\vfill\eject\fi % finish the current page
+ \parfillskip 0pt plus 1fil
+ \let\topsecno=\nullsec
+ \redeffin
+ \output={\normaloutput\page\lheader\rheader}
+ \setpage
+ \def\note##1##2.{\quad{\eightrm##1~##2.}}
+ \def\I{\par\hangindent 2em}\let\*=*
+ \readsections}
+\def\con{\par\vfill\eject % finish the section names
+ \rightskip 0pt \hyphenpenalty 50 \tolerance 200
+ \setpage \output={\normaloutput\page\lheader\rheader}
+ \titletrue % prepare to output the table of contents
+ \pageno=\contentspagenumber
+ \redefcon
+ \topofcontents
+ \line{\headerline}
+ \let\ZZ=\contentsline
+ \readcontents\relax % read the contents info
+ \botofcontents \end} % print the contents page(s) and terminate