From 73875939a8b5545ac53a86ec467239f510d14de8 Mon Sep 17 00:00:00 2001 From: Bastien Date: Wed, 29 Sep 2021 15:06:08 +0200 Subject: [PATCH] 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 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