docs/manual/main_options.tex

   1 \documentclass{article}
   2
   3 \usepackage[utf8]{inputenc}
   4 \usepackage[T1]{fontenc}
   5
   6 \usepackage{ifthen}
   7
   8 \usepackage{fullpage}
   9 \usepackage{amsmath}
  10 \usepackage{amssymb}
  11
  12 \usepackage{xspace}
  13
  14 % fancy symbol, but require latex-extra-fonts (huge) package
  15 \usepackage[geometry]{ifsym}
  16
  17 \input{macros_options}
  18 \input{macros}
  19
  20 % Update version in macros.tex
  21 \title{Coccinelle Usage (version \cocciversion)}
  22
  23 \begin{document}
  24 \maketitle
  25
  26 \input{spatch_options}
  27
  28 \end{document}
  29
  30 %%% Local Variables:
  31 %%% mode: LaTeX
  32 %%% TeX-master: t
  33 %%% coding: utf-8
  34 %%% TeX-PDF-mode: t
  35 %%% ispell-local-dictionary: "american"
  36 %%% End: