Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!seismo!rochester!ken From: ken@rochester.ARPA (SKY) Newsgroups: net.sources Subject: DVIDOC, a postprocessor for DVI files (Part 3 of 2, oops) Message-ID: <23448@rochester.ARPA> Date: Thu, 25-Dec-86 18:13:25 EST Article-I.D.: rocheste.23448 Posted: Thu Dec 25 18:13:25 1986 Date-Received: Thu, 25-Dec-86 22:46:26 EST Reply-To: ken@rochester.UUCP (SKY) Distribution: world Organization: U of Rochester, CS Dept, Rochester, NY Lines: 47 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