diff --git a/Makefile b/Makefile new file mode 100644 index 0000000000000000000000000000000000000000..289e98dcee93f18cb7cac39f19c85ea45923487c --- /dev/null +++ b/Makefile @@ -0,0 +1,4 @@ +% : Doc/%/*.tex + cd Doc/$@ && \ + pdflatex $@.tex && \ + rm -f *.aux *.lof *.log *.lot *.out *.toc