diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..36310c0 --- /dev/null +++ b/Makefile @@ -0,0 +1,17 @@ +latexfile = mmbtools + +all: $(latexfile).pdf + +$(latexfile).pdf : $(latexfile).tex vc.tex + while (pdflatex $(latexfile) ; \ + grep -q "Rerun to get cross" $(latexfile).log ) do true ; \ + done + +vc.tex: .git/logs/HEAD + echo "%%% This file is generated by Makefile." > vc.tex + echo "%%% Do not edit this file!\n%%%" >> vc.tex + git log -1 --format="format:\ + \\gdef\\GITAbrHash{%h}\ + \\gdef\\GITAuthorDate{%ad}\ + \\gdef\\GITAuthorName{%an}" >> vc.tex + |