Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -6,3 +6,6 @@ std.pdf
*.lof
*.lot
*.out
*.ilg
*.ind
*.tmp
35 changes: 35 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
@@ -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