view mk/doc.mk @ 42:e1017d556437

add unique indexes on number_in_pr
author David A. Holland
date Sun, 15 Jun 2014 18:16:12 -0400
parents c4ee36b629c0
children
line wrap: on
line source

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