docs/manual/main_grammar.tex

   1 \documentclass{article}
   2
   3 \usepackage{times}
   4 \usepackage{fullpage}
   5
   6 \usepackage[utf8]{inputenc}
   7 \usepackage[T1]{fontenc}
   8
   9 \usepackage{ifthen}
  10 \usepackage{hevea}
  11
  12 \usepackage{alltt}
  13 \usepackage{xspace}
  14 \usepackage[pdfborder={0 0 0}]{hyperref}
  15 \usepackage{listings}
  16 \usepackage[usenames,dvipsnames]{color}
  17 \usepackage{multirow}
  18
  19 \input{macros_listing_cocci}
  20 \input{macros_grammar}
  21 \input{macros_common}
  22
  23 \input{macros}
  24
  25 \ifhevea
  26 \newcommand{\phantom}{}
  27 \newcommand{\air}{   }
  28 \else
  29 \newcommand{\air}{\phantom{xxx}}
  30 \fi
  31
  32 % Update version in macros.tex
  33 \title{The SmPL Grammar (version \cocciversion)}
  34 \author{Research group on Coccinelle}
  35 \date{\today}
  36
  37 \begin{document}
  38 \maketitle
  39
  40
  41 \input{cocci_syntax}
  42
  43 \include{examples}
  44 \include{tips}
  45
  46 \end{document}
  47
  48 %%% Local Variables:
  49 %%% mode: LaTeX
  50 %%% TeX-master: t
  51 %%% coding: utf-8
  52 %%% TeX-PDF-mode: t
  53 %%% ispell-local-dictionary: "american"
  54 %%% End: