Release coccinelle-0.2.3rc1

[bpt/coccinelle.git] / docs / manual / main_grammar.tex

diff --git a/docs/manual/main_grammar.tex b/docs/manual/main_grammar.tex
index 38c628d..25a3d20 100644 (file)
--- a/docs/manual/main_grammar.tex
+++ b/docs/manual/main_grammar.tex
@@ -3,8 +3,8 @@
 \usepackage{times}
 \usepackage{fullpage}
 
+\usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
-%\usepackage[latin9]{inputenc}
 
 \usepackage{ifthen}
 \usepackage{hevea}
@@ -45,3 +45,10 @@
 
 \end{document}
 
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% coding: utf-8
+%%% TeX-PDF-mode: t
+%%% ispell-local-dictionary: "american"
+%%% End: