From 74e35a9154233676c8355068bea32d43490ce077 Mon Sep 17 00:00:00 2001 From: Bastien Date: Wed, 5 Aug 2015 01:44:41 +0200 Subject: [PATCH] doc/orgguide.texi: uncomment the license --- doc/orgguide.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/orgguide.texi b/doc/orgguide.texi index 12d3a513f..93b3c2639 100644 --- a/doc/orgguide.texi +++ b/doc/orgguide.texi @@ -2698,9 +2698,9 @@ manual}@* @uref{http://orgmode.org/orgcard.pdf,Key reference card}} -@c @node GNU Free Documentation License, , Miscellaneous, Top -@c @appendix GNU Free Documentation License -@c @include doclicense.texi +@node GNU Free Documentation License, , Miscellaneous, Top +@appendix GNU Free Documentation License +@include doclicense.texi @bye