From 80f3011eb5ca479b9b1f059c0f04e131028d5312 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 18 Mar 2020 16:07:19 +0100
Subject: Build and install refman with Dune.

---
 Makefile.dune | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'Makefile.dune')

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
 
-- 
cgit v1.2.3