diff --git a/doc/latex/.tex2page.hdir b/doc/latex/.tex2page.hdir
new file mode 100644
index 0000000..724f4d4
--- /dev/null
+++ b/doc/latex/.tex2page.hdir
@@ -0,0 +1 @@
+html
\ No newline at end of file
diff --git a/doc/latex/css.t2p b/doc/latex/css.t2p
new file mode 100644
index 0000000..7c1fcee
--- /dev/null
+++ b/doc/latex/css.t2p
@@ -0,0 +1,105 @@
+% css.t2p
+% Dorai Sitaram
+% 19 Jan 2001
+% A basic style for HTML documents generated
+% with tex2page.  
+
+\cssblock
+
+body {
+   color: black;
+   background-color: #e5e5e5;
+/*background-color: beige;*/
+   margin-top: 2em;
+   margin-left: 8%;
+   margin-right: 8%;
+}
+
+h1,h2,h3,h4,h5,h6 {
+   margin-top: .5em;
+}
+
+.partheading {
+   font-size: 70%;
+}
+
+.chapterheading {
+   font-size: 70%;
+}
+
+pre {
+    margin-left: 2em;
+}
+
+ol {
+   list-style-type: decimal;
+}
+
+ol ol {
+   list-style-type: lower-alpha;
+}
+
+ol ol ol {
+   list-style-type: lower-roman;
+}
+
+ol ol ol ol {
+   list-style-type: upper-alpha;
+}
+
+.scheme {
+   color: brown;
+}
+
+.scheme .keyword {
+   color: #990000;
+   font-weight: bold;
+}
+
+.scheme .builtin {
+   color: #990000;
+}
+
+.scheme .variable {
+   color: navy;
+}
+
+.scheme .global {
+   color: purple;
+}
+
+.scheme .selfeval {
+   color: green;
+}
+
+.scheme .comment {
+   color:  teal;
+}
+
+.navigation {
+   color: red;
+   text-align: right;
+   font-style: italic;
+}
+
+.disable {
+   /* color: #e5e5e5; */
+color: gray;
+}
+
+.smallcaps {
+font-size: 75%;
+}
+
+.smallprint {
+   color: gray;
+   font-size: 75%;
+   text-align: right;
+}
+
+.smallprint hr {
+   text-align: left;
+   width: 40%;
+}
+
+\endcssblock
\ No newline at end of file
diff --git a/doc/latex/decls.tex b/doc/latex/decls.tex
index e9dde42..620577b 100644
--- a/doc/latex/decls.tex
+++ b/doc/latex/decls.tex
@@ -277,5 +277,3 @@
 
 
 \makeatother
-
-\dontuseimgforhtmlmath
diff --git a/doc/latex/man.t2p b/doc/latex/man.t2p
new file mode 100644
index 0000000..7e0d2f9
--- /dev/null
+++ b/doc/latex/man.t2p
@@ -0,0 +1,126 @@
+% man.t2p
+% Dorai Sitaram
+% Feb 6, 2000
+
+% This file contains the tex2page macros needed to process
+% the scsh LaTeX document scsh-n.n.n/doc/scsh-manual/man.tex.
+% Copy (or link) this file alongside man.tex and run
+%
+% tex2page man
+
+\input css.t2p
+\dontuseimgforhtmlmath
+
+\let\pagebreak\relax
+
+\let\small\relax
+
+%\let\PRIMtableofcontents\tableofcontents
+%\def\tableofcontents{\chapter*{Contents}\PRIMtableofcontents}
+
+\def\subtitle#1{\def\savesubtitle{#1}}
+
+\def\maketitle{
+\subject{\TIIPtitle}
+{\bf \hr}
+\rightline{\savesubtitle}
+\bigskip\bigskip
+\bigskip\bigskip
+{\bf\TIIPauthor}
+{\bf\hr}
+}
+
+\let\PRIMdocument\document
+
+\def\document{\PRIMdocument
+
+\let\ttchars\relax
+\let\ttt\tt
+
+%\def\~{\rawhtml~\endrawhtml}
+\def\~{\char`\~}
+\def\cd#1{{\tt\def\\{\char`\\}\defcsactive\${\char`\$}\defcsactive\~{\char`\~}\defcsactive\&{\char`\&}#1}}
+\def\cddollar{\undefcsactive\$}
+\def\cdmath{\undefcsactive\$}
+\def\codeallowbreaks{\relax}
+\def\defvarx#1#2{\index{#1}\leftline{{\tt #1} \qquad #2}}
+
+\let\PRIMflushright\flushright
+
+\def\flushright{\PRIMflushright\TIIPtabularborder=0 }
+
+\let\PRIMfigure\figure
+\let\PRIMendfigure\endfigure
+
+\def\figure{\par\hrule\PRIMfigure}
+\def\endfigure{\PRIMendfigure\hrule\par}
+
+\let\PRIMtable\table
+\let\PRIMendtable\endtable
+
+\def\table{\par\hrule\PRIMtable}
+\def\endtable{\PRIMendtable\hrule\par}
+
+\imgdef\vdots{\bf.\par.\par.}
+
+\evalh{
+
+(define all-blanks?
+  (lambda (s)
+    (andmap
+      char-whitespace?
+      (string->list s))))
+
+}
+
+
+\def\spaceifnotempty{\evalh{
+
+(let ((x (ungroup (get-token))))
+  (unless (all-blanks? x)
+    (emit #\space)))
+
+}}
+
+\def\dfnix#1#2#3#4{\leftline{{\tt(#1\spaceifnotempty{#2}{\it#2})} \quad $\longrightarrow$ \quad {\it #3} \qquad (#4)} \index}
+
+\def\ex#1{{\tt #1}}
+\def\l#1{lambda (#1)}
+\def\lx#1{lambda {#1}}
+%\def\notenum#1{}
+%\def\project#1{}
+\def\var#1{{\it #1\/}}
+\def\vari#1#2{\mbox{{\it #1\/}\undefcsactive\$$_{#2}$}}
+
+\renewenvironment{boxedfigure}{\def\srecomment#1{\\#1\\}%
+\begin{figure}\pagestyle}{\end{figure}}
+
+\newenvironment{centercode}{\begin{code}}{\end{code}}
+
+\def\setupcode{\tt%
+\def\\{\char`\\}%
+\defcsactive\${\$}%
+\def\evalto{==> }%
+\defcsactive\%{\%}\obeywhitespace}
+
+\newenvironment{code}{\begin{quote}\bgroup\setupcode\GOBBLEOPTARG}
+{\egroup\end{quote}}
+
+\newenvironment{codebox}{\begin{tableplain}\bgroup\setupcode\GOBBLEOPTARG}
+{\egroup\end{tableplain}}
+
+\renewenvironment{desc}{\begin{quote}}{\end{quote}}
+
+\renewenvironment{exampletable}{%
+\def\header#1{\\\leftline{#1}\\}%
+\def\splitline#1#2{\\\leftline{#1}\\\leftline{#2}}%
+\begin{tabular}{}}{\end{tabular}}
+
+\newenvironment{tightcode}{\begin{code}}{\end{code}}
+\renewenvironment{widecode}{\begin{code}}{\end{code}}
+
+\renewenvironment{inset}{\begin{quote}}{\end{quote}}
+\renewenvironment{leftinset}{\begin{quote}}{\end{quote}}
+\renewenvironment{tightinset}{\begin{quote}}{\end{quote}}
+\renewenvironment{tightleftinset}{\begin{quote}}{\end{quote}}
+}
\ No newline at end of file