DVIDOC, a postprocessor for DVI files (Part 3 of 2, oops)

[SKY]

Here is the missing docmac.tex file.

	Ken

#! /bin/sh
# This is a shell archive, meaning:
# 1. Remove everything above the #! /bin/sh line.
# 2. Save the resulting text in a file.
# 3. Execute the file with /bin/sh (not csh) to create:
#	docmac.tex
# This archive created: Thu Dec 25 18:13:03 1986
# By:	SKY ()
export PATH; PATH=/bin:/usr/bin:$PATH
echo shar: "extracting 'docmac.tex'" '(665 characters)'
if test -f 'docmac.tex'
then
	echo shar: "will not over-write existing file 'docmac.tex'"
else
cat << \SHAR_EOF > 'docmac.tex'
\baselineskip=12bp
\font\docfont=doc
\textfont0=\docfont \scriptfont0=\docfont \scriptscriptfont0=\docfont
\def\rm{\fam0\docfont}
\textfont1=\docfont \scriptfont1=\docfont \scriptscriptfont1=\docfont
\def\mit{\fam1} \def\oldstyle{\fam1\docfont}
\def\it{\fam\itfam\docfont} % \it is family 4
\textfont\itfam=\docfont
\def\sl{\fam\slfam\docfont} % \sl is family 5
\textfont\slfam=\docfont
\def\bf{\fam\bffam\docfont} % \bf is family 6
\textfont\bffam=\docfont \scriptfont\bffam=\docfont
\scriptscriptfont\bffam=\docfont
\def\tt{\fam\ttfam\docfont} % \tt is family 7
\textfont\ttfam=\docfont
\def\TeX{TeX}
\def\LaTeX{LaTeX}
\def\SliTeX{SliTeX}
\def\BibTeX{BibTeX}
\rm
SHAR_EOF
if test 665 -ne "`wc -c < 'docmac.tex'`"
then
	echo shar: "error transmitting 'docmac.tex'" '(should have been 665 characters)'
fi
fi
exit 0
#	End of shell archive