branch: externals-release/org
commit 73875939a8b5545ac53a86ec467239f510d14de8
Author: Bastien <b...@gnu.org>
Commit: Bastien <b...@gnu.org>

    doc/Makefile: Also make orgguide.html
---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index b0255a8..7fb96e6 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -9,7 +9,7 @@ all:            $(ORG_MAKE_DOC)
 
 info:          org orgguide
 
-html:          org.html
+html:          org.html orgguide.html
 
 pdf:           org.pdf orgguide.pdf
 

Reply via email to