diff -r ba0470fe09fc -r e27558a68b8d doc-src/Ref/tctical.tex
--- a/doc-src/Ref/tctical.tex	Mon Aug 24 19:11:13 1998 +0200
+++ b/doc-src/Ref/tctical.tex	Mon Aug 24 19:12:13 1998 +0200
@@ -509,3 +509,9 @@
 \end{center}
 
 \index{tacticals|)}
+
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "ref"
+%%% End: