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