diff options
Diffstat (limited to 'spec/Makefile')
| -rw-r--r-- | spec/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/spec/Makefile b/spec/Makefile new file mode 100644 index 00000000..8ba97cf9 --- /dev/null +++ b/spec/Makefile @@ -0,0 +1,13 @@ + +SRC = spec.tex +SPEC = spec.pdf + +all: $(SPEC) + +$(SPEC) : $(SRC) + pdflatex -output-format=pdf spec.tex + pdflatex -output-format=pdf spec.tex + pdflatex -output-format=pdf spec.tex + +clean: + rm -f *.aux *.log *.out *.toc |