• Switched to using \def instead of \newcommand for pre-\begin{document} definitions, as it seems safer.
1 parent 1e06121 commit 0f39cd632f70f83e94d240a90213dee4e7bd8a56
Nigel Stanger authored on 25 Feb 2014
Showing 2 changed files
View
make-includes/standard_rules.make
View
makefile-templates/Makefile.handbook