From fd54fde4445cdf294a570a488f9d5cb2b7799797 Mon Sep 17 00:00:00 2001
From: sperber <sperber>
Date: Wed, 27 Feb 2002 10:43:25 +0000
Subject: [PATCH] Make the manual run through pdflatex.

---
 doc/scsh-manual/man.tex     | 10 ++++++++++
 doc/scsh-manual/pdfcond.tex | 14 ++++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100644 doc/scsh-manual/pdfcond.tex

diff --git a/doc/scsh-manual/man.tex b/doc/scsh-manual/man.tex
index 3b96ee2..d188deb 100644
--- a/doc/scsh-manual/man.tex
+++ b/doc/scsh-manual/man.tex
@@ -10,12 +10,22 @@
 % tex2page defines \url and hyperref loads the package url
 % but setting \url to \relax satisfies \newcommand
 \let\url\relax
+\input{pdfcond}
+\ifpdf
+\usepackage[pdftex,hyperindex,
+     pdftitle={scsh manual, release 0.6.1},
+     pdfauthor={Olin Shivers, Brian D.~Carlstrom, Martin Gasbichler,
+       and Mike Sperber}
+     colorlinks=true,linkcolor=blue,pagecolor=blue,urlcolor=blue,
+     pdfstartview=FitH,pdfview=FitH]{hyperref}
+\else
 \usepackage[dvipdfm,hyperindex,hypertex,
      pdftitle={scsh manual, release 0.6.1},
      pdfauthor={Olin Shivers, Brian D.~Carlstrom, Martin Gasbichler,
        and Mike Sperber}
      colorlinks=true,linkcolor=blue,pagecolor=blue,urlcolor=blue,
      pdfstartview=FitH,pdfview=FitH]{hyperref}
+\fi
 \endtexonly
 
 % These fonts are good choices for screen-readable pdf, but the man needs
diff --git a/doc/scsh-manual/pdfcond.tex b/doc/scsh-manual/pdfcond.tex
new file mode 100644
index 0000000..34d7cf2
--- /dev/null
+++ b/doc/scsh-manual/pdfcond.tex
@@ -0,0 +1,14 @@
+\newif\ifpdf
+\ifx\pdfoutput\undefined
+\pdffalse    % we are not running PDFLaTeX
+\else
+\pdfoutput=1    % we are running PDFLaTeX
+\pdftrue
+\fi
+% Then use your new variable \ifpdf
+% \ifpdf
+% \usepackage[pdftex]{graphicx}
+% \pdfcompresslevel=9
+% \else
+% \usepackage{graphicx}
+% \fi