From 01e56b8ea3a0e3ba08e8f63d545c01be85b580b6 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Fri, 18 May 2018 19:02:24 -0400
Subject: [doc] Add sphinx-html, sphinx-latex, and sphinx-pdf targets

---
 doc/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/README.md b/doc/README.md
index 47507de52d..6cfa94b3dc 100644
--- a/doc/README.md
+++ b/doc/README.md
@@ -80,7 +80,7 @@ Alternatively, you can use some specific targets:
   to produce all HTML documents
 
 - `make sphinx`
-   to produce the HTML version of the reference manual
+   to produce the HTML and PDF versions of the reference manual
 
 - `make stdlib`
   to produce all formats of the Coq standard library
-- 
cgit v1.2.3