Release coccinelle-0.2.3rc1

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

diff --git a/docs/manual/main_options.tex b/docs/manual/main_options.tex
index c02f43e..72248e6 100644 (file)
--- a/docs/manual/main_options.tex
+++ b/docs/manual/main_options.tex
@@ -1,17 +1,24 @@
 \documentclass{article}
 
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+
 \usepackage{ifthen}
 
 \usepackage{fullpage}
 \usepackage{amsmath}
 \usepackage{amssymb}
 
+\usepackage{xspace}
+
 % fancy symbol, but require latex-extra-fonts (huge) package
 \usepackage[geometry]{ifsym}
 
 \input{macros_options}
+\input{macros}
 
-\title{Coccinelle Usage (version 0.1.7)}
+% Update version in macros.tex
+\title{Coccinelle Usage (version \cocciversion)}
 
 \begin{document}
 \maketitle
@@ -19,3 +26,11 @@
 \input{spatch_options}
 
 \end{document}
+
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% coding: utf-8
+%%% TeX-PDF-mode: t
+%%% ispell-local-dictionary: "american"
+%%% End: