Mercurial > ~dholland > hg > swallowtail > index.cgi
diff mk/doc.mk @ 15:c4ee36b629c0
Build bits for docs, and a starting placeholder doc.
author | David A. Holland |
---|---|
date | Mon, 03 Sep 2012 13:55:42 -0400 (2012-09-03) |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/mk/doc.mk Mon Sep 03 13:55:42 2012 -0400 @@ -0,0 +1,19 @@ +all: $(DOC).pdf + +$(DOC).pdf: $(DOC).tex + pdflatex $(DOC).tex + +depend:; + +install: + $(INSTALL) -c -m644 $(DOC).pdf $(DESTDIR)$(PREFIX)/$(DOCDIR)/$(DOC).pdf + +clean distclean: + rm -f *.aux *.log + +# The PDF is shipped with the release, so don't delete it except by +# explicit request. +tooclean: + rm -f $(DOC).pdf + +.PHONY: all depend install clean distclean tooclean