diff --git a/.gitignore b/.gitignore index 2f8fc1719f..d92405907a 100644 --- a/.gitignore +++ b/.gitignore @@ -6,3 +6,6 @@ std.pdf *.lof *.lot *.out +*.ilg +*.ind +*.tmp diff --git a/Makefile b/Makefile new file mode 100644 index 0000000000..04549a1e26 --- /dev/null +++ b/Makefile @@ -0,0 +1,35 @@ +### -*- mode: makefile-gmake -*- + +# Note: If building on Mac OS X, and if you use MacPorts, the following ports +# should be installed: +# +# texlive-latex +# texlive-plain-extra +# texlive-latex-recommended +# texlive-latex-extra +# texlive-fonts-recommended +# texlive-fonts-extra + +FIGURES = $(patsubst %.dot,%.pdf,$(wildcard source/*.dot)) + +all: $(FIGURES) grammar xrefs document + echo Draft standard compiled + +%.pdf: %.dot + dot -o $@ -Tpdf $< + +grammar: + (cd source ; sh ../tools/makegram) + +xrefs: + (cd source ; sh ../tools/makexref) + +document: + (cd source ; pdflatex std; pdflatex std; pdflatex std) + (cd source ; makeindex generalindex) + (cd source ; makeindex libraryindex) + (cd source ; makeindex grammarindex) + (cd source ; makeindex impldefindex) + (cd source ; pdflatex std; pdflatex std) + +### Makefile ends here