--- 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
--- 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}
--- 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