Commit | Line | Data |
---|---|---|
708f4980 C |
1 | \documentclass{article} |
2 | ||
3 | \usepackage{times} | |
4 | \usepackage{fullpage} | |
5 | ||
5636bb2c | 6 | \usepackage[utf8]{inputenc} |
708f4980 | 7 | \usepackage[T1]{fontenc} |
708f4980 C |
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 | ||
55d38388 | 23 | \input{macros} |
708f4980 C |
24 | |
25 | \ifhevea | |
26 | \newcommand{\phantom}{} | |
27 | \newcommand{\air}{ } | |
28 | \else | |
29 | \newcommand{\air}{\phantom{xxx}} | |
30 | \fi | |
31 | ||
55d38388 C |
32 | % Update version in macros.tex |
33 | \title{The SmPL Grammar (version \cocciversion)} | |
708f4980 C |
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 | ||
5636bb2c C |
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: |