Mercurial > cpdt > repo
diff Makefile @ 536:d65e9c1c9041
Touch-ups in 8.4
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 05 Aug 2015 18:07:57 -0400 |
| parents | ed829eaa91b2 |
| children | d53c077a630c |
line wrap: on
line diff
--- a/Makefile Wed Aug 05 14:57:14 2015 -0400 +++ b/Makefile Wed Aug 05 18:07:57 2015 -0400 @@ -28,8 +28,10 @@ doc: latex/cpdt.pdf html +COQDOC = coqdoc -R . Cpdt + latex/%.v.tex: Makefile src/%.v src/%.glob - cd src ; coqdoc --interpolate --latex --body-only -s \ + cd src ; $(COQDOC) --interpolate --latex --body-only -s \ $*.v -o ../latex/$*.v.tex latex/cpdt.pdf: latex/cpdt.tex $(TEX) latex/cpdt.bib @@ -40,7 +42,7 @@ html: Makefile $(VS) src/toc.html mkdir -p html - cd src ; coqdoc --interpolate --no-externals $(VS_DOC) \ + cd src ; $(COQDOC) --interpolate --no-externals $(VS_DOC) \ -d ../html cp src/toc.html html/