diff --git a/doc/scsh-manual/man.tex b/doc/scsh-manual/man.tex index 39da8a5..07e4f73 100644 --- a/doc/scsh-manual/man.tex +++ b/doc/scsh-manual/man.tex @@ -6,6 +6,21 @@ \usepackage{code,boxedminipage,makeidx,palatino,ct, headings,mantitle,array,matter,mysize10} +\usepackage[dvipdfm,hyperindex,hypertex, + pdftitle={scsh manual, release 0.5.2}, + pdfauthor={Olin Shivers and Brian D.~Carlstrom} + colorlinks=true,linkcolor=blue,pagecolor=blue,urlcolor=blue, + pdfstartview=FitH,pdfview=FitH]{hyperref} + +% These fonts are good choices for screen-readable pdf, but the man needs +% a pass over the layout, since the this tt font will blow out the width +% of some examples, making them wrap and generally screwing them up. Maybe this +% should also be a LaTeX option, so we can get palatino on the hardcopy +% runs and these fonts on pdf runs... +%\renewcommand{\rmdefault}{phv} +%\renewcommand{\sfdefault}{phv} +%\renewcommand{\ttdefault}{pcr} + % Style issues \parskip = 3pt plus 3pt \sloppy