From 20c3b0e436e9d28784536525f3da831dc9d38470 Mon Sep 17 00:00:00 2001 From: Bastien Date: Mon, 27 Sep 2021 21:59:23 +0200 Subject: [PATCH] mk/server.mk: Also copy orgguide.html * mk/server.mk (doc-up): Also copy orgguide.html. --- mk/server.mk | 1 + 1 file changed, 1 insertion(+) diff --git a/mk/server.mk b/mk/server.mk index 43811dd22..48b3f261c 100644 --- a/mk/server.mk +++ b/mk/server.mk @@ -123,6 +123,7 @@ doc-up: info pdf card html $(MAKE) -C doc manual guide $(CP) doc/org.html $(SERVROOT) $(CP) doc/org.pdf $(SERVROOT) + $(CP) doc/orgguide.html $(SERVROOT) $(CP) doc/orgguide.pdf $(SERVROOT) $(CP) doc/manual/* $(SERVROOT)/manual $(CP) doc/guide/* $(SERVROOT)/guide