branch: externals/org
commit 20c3b0e436e9d28784536525f3da831dc9d38470
Author: Bastien <b...@gnu.org>
Commit: Bastien <b...@gnu.org>

    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 43811dd..48b3f26 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

Reply via email to