X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/708f4980a90e2a254d7863f875888e9f5c6db0b3..5636bb2c2537506718da74f85a2b81a5ff3df16f:/docs/manual/main_grammar.tex

diff --git a/docs/manual/main_grammar.tex b/docs/manual/main_grammar.tex
index b46185e..25a3d20 100644
--- 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}
@@ -20,6 +20,7 @@
 \input{macros_grammar}
 \input{macros_common}
 
+\input{macros}
 
 \ifhevea
 \newcommand{\phantom}{}
@@ -28,7 +29,8 @@
 \newcommand{\air}{\phantom{xxx}}
 \fi
 
-\title{The SmPL Grammar (version 0.1.4)}
+% Update version in macros.tex
+\title{The SmPL Grammar (version \cocciversion)}
 \author{Research group on Coccinelle}
 \date{\today}
 
@@ -43,3 +45,10 @@
 
 \end{document}
 
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% coding: utf-8
+%%% TeX-PDF-mode: t
+%%% ispell-local-dictionary: "american"
+%%% End:
