1 \documentclass{article
}
11 % fancy symbol, but require latex-extra-fonts (huge) package
12 \usepackage[geometry
]{ifsym
}
14 \input{macros_options
}
17 % Update version in macros.tex
18 \title{Coccinelle Usage (version
\cocciversion)
}
23 \input{spatch_options
}