diff --git a/spec/doc.tex b/spec/doc.tex
index 2cc4fae852094ca113ad2665081bc589fd8f3890..fad7a5ce2b1088e05a8be5a232e724b833589033 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -1435,3 +1435,8 @@ The following lists all rules of Alethe.
 \bibliography{bib}
 
 \end{document}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End:
diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 33a7f4c80a8462edeb1e79a30259240b06d6a6ff..4866582a8608722e528a0654177cc895ef69cc80 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -1638,3 +1638,7 @@ form and the reordering of equalities.
 %   is given. This option is experimental and should not be used.
 % \end{proof-rule}
 
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "doc"
+%%% End: