doc-src/System/basics.tex

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