# HG changeset patch
# User wenzelm
# Date 863454889 -7200
# Node ID 629d63c74ddc1abcf4d22d8dfc7170f8303d62c8
# Parent  d8de475273090ee81073464ca5f7df7bf7526dc9
*** empty log message ***

diff -r d8de47527309 -r 629d63c74ddc doc-src/System/Makefile
--- a/doc-src/System/Makefile	Mon May 12 18:34:34 1997 +0200
+++ b/doc-src/System/Makefile	Mon May 12 18:34:49 1997 +0200
@@ -12,9 +12,6 @@
 system.dvi.gz:   $(FILES) 
 	-rm system.dvi*
 	latex system
-	rail system
-	bibtex system
-	latex system
 	latex system
 	../sedindex system
 	latex system
diff -r d8de47527309 -r 629d63c74ddc doc-src/System/system.ind
--- a/doc-src/System/system.ind	Mon May 12 18:34:34 1997 +0200
+++ b/doc-src/System/system.ind	Mon May 12 18:34:49 1997 +0200
@@ -0,0 +1,25 @@
+\begin{theindex}
+
+  \item browser, \bold{5}
+
+  \indexspace
+
+  \item {\tt finish_html}, \bold{2}
+
+  \indexspace
+
+  \item HTML, \bold{1}
+
+  \indexspace
+
+  \item {\tt init_html}, \bold{2}
+
+  \indexspace
+
+  \item {\tt make_html}, \bold{2}
+
+  \indexspace
+
+  \item {\tt use_dir}, 3
+
+\end{theindex}
diff -r d8de47527309 -r 629d63c74ddc doc-src/System/system.tex
--- a/doc-src/System/system.tex	Mon May 12 18:34:34 1997 +0200
+++ b/doc-src/System/system.tex	Mon May 12 18:34:49 1997 +0200
@@ -15,8 +15,9 @@
         Computer Laboratory \\ University of Cambridge \\
         \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
         With Contributions by Tobias Nipkow and Markus Wenzel%
-\thanks{  Chapter~\protect\ref{html} was written by Carsten Clasohm.
-  Chapter~\protect\ref{browse} was written by Stefan Berghofer.}}
+        \thanks{Chapter~\protect\ref{html} was written by Carsten
+          Clasohm.  Chapter~\protect\ref{browse} was written by Stefan
+          Berghofer. Some other parts are by Markus Wenzel.}}
 
 \makeindex