--- a/doc-src/System/basics.tex Mon Aug 24 15:52:39 1998 +0200
+++ b/doc-src/System/basics.tex Mon Aug 24 17:13:11 1998 +0200
@@ -375,3 +375,9 @@
There are some more options available. Just pass \texttt{-?} to the
\texttt{xterm} interface to have its usage printed.
+
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "system"
+%%% End:
--- a/doc-src/System/fonts.tex Mon Aug 24 15:52:39 1998 +0200
+++ b/doc-src/System/fonts.tex Mon Aug 24 17:13:11 1998 +0200
@@ -133,3 +133,9 @@
annotations --- using the \verb|\<|$charname$\verb|>| form, proof
scripts are just left in plain \textsc{ascii}. Thus users with
\textsc{ascii}-only facilities will still be able to read your files.
+
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "system"
+%%% End:
--- a/doc-src/System/present.tex Mon Aug 24 15:52:39 1998 +0200
+++ b/doc-src/System/present.tex Mon Aug 24 17:13:11 1998 +0200
@@ -274,3 +274,9 @@
listed.
\end{description}
+
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "system"
+%%% End: