frap/Makefile

31 lines
588 B
Makefile
Raw Normal View History

2016-02-02 18:53:00 +00:00
.PHONY: all coq install
2015-12-31 20:44:34 +00:00
all: frap.pdf coq
2015-12-31 19:40:01 +00:00
frap.pdf: frap.tex Makefile
pdflatex frap
pdflatex frap
makeindex frap
pdflatex frap
2015-12-31 19:02:34 +00:00
pdflatex frap
2015-12-31 20:44:34 +00:00
coq: Makefile.coq
$(MAKE) -f Makefile.coq
Makefile.coq: Makefile _CoqProject *.v
coq_makefile -f _CoqProject -o Makefile.coq
clean:: Makefile.coq
$(MAKE) -f Makefile.coq clean
rm -f Makefile.coq
2016-02-02 18:53:00 +00:00
2016-02-02 18:53:58 +00:00
frap.tgz: *.v
git archive --exclude *.html --format=tar.gz HEAD >frap.tgz
2016-02-02 18:53:00 +00:00
WHERE=chlipala.net:sites/chlipala/adam/frap/
install: index.html frap.pdf frap.tgz
rsync frap.pdf $(WHERE)
rsync frap.tgz $(WHERE)
rsync index.html $(WHERE)