\usepackage{times}
\usepackage{fullpage}
+\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
-%\usepackage[latin9]{inputenc}
\usepackage{ifthen}
\usepackage{hevea}
\input{macros_grammar}
\input{macros_common}
+\input{macros}
\ifhevea
\newcommand{\phantom}{}
\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}
\end{document}
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% coding: utf-8
+%%% TeX-PDF-mode: t
+%%% ispell-local-dictionary: "american"
+%%% End: