diff --git a/doc/Makefile b/doc/Makefile index b0255a8c7..7fb96e65d 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