diff options
| author | Théo Zimmermann | 2020-03-18 16:07:19 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-20 10:38:40 +0100 |
| commit | 80f3011eb5ca479b9b1f059c0f04e131028d5312 (patch) | |
| tree | 998ec354de59eb25cfa8fdd8b9d72a5057e4a59c /Makefile.dune | |
| parent | d2e29e64603edd28140935f01f82936e9eeff8c8 (diff) | |
Build and install refman with Dune.
Diffstat (limited to 'Makefile.dune')
| -rw-r--r-- | Makefile.dune | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile.dune b/Makefile.dune index b433ed1b94..ec10568a30 100644 --- a/Makefile.dune +++ b/Makefile.dune @@ -4,7 +4,7 @@ .PHONY: help voboot states world watch check # Main developer targets .PHONY: coq coqide coqide-server # Package targets .PHONY: quickbyte quickopt quickide # Partial / quick developer targets -.PHONY: refman-html stdlib-html apidoc # Documentation targets +.PHONY: refman-html refman-pdf stdlib-html apidoc # Documentation targets .PHONY: test-suite release # Accessory targets .PHONY: fmt ocheck ireport clean # Maintenance targets @@ -32,6 +32,7 @@ help: @echo "" @echo " - test-suite: run Coq's test suite" @echo " - refman-html: build Coq's reference manual [HTML version]" + @echo " - refman-pdf: build Coq's reference manual [PDF version]" @echo " - stdlib-html: build Coq's Stdlib documentation [HTML version]" @echo " - apidoc: build ML API documentation" @echo " - release: build Coq in release mode" @@ -92,6 +93,9 @@ test-suite: voboot refman-html: voboot dune build @refman-html +refman-pdf: voboot + dune build @refman-pdf + stdlib-html: voboot dune build @stdlib-html |