annotate mk/doc.mk @ 45:233dcc4d80e1

update
author David A. Holland
date Mon, 16 Jun 2014 01:27:54 -0400
parents c4ee36b629c0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
1 all: $(DOC).pdf
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
2
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
3 $(DOC).pdf: $(DOC).tex
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
4 pdflatex $(DOC).tex
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
5
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
6 depend:;
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
7
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
8 install:
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
9 $(INSTALL) -c -m644 $(DOC).pdf $(DESTDIR)$(PREFIX)/$(DOCDIR)/$(DOC).pdf
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
10
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
11 clean distclean:
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
12 rm -f *.aux *.log
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
13
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
14 # The PDF is shipped with the release, so don't delete it except by
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
15 # explicit request.
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
16 tooclean:
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
17 rm -f $(DOC).pdf
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
18
c4ee36b629c0 Build bits for docs, and a starting placeholder doc.
David A. Holland
parents:
diff changeset
19 .PHONY: all depend install clean distclean tooclean