diff options
author | Bastien <bzg@gnu.org> | 2015-08-05 01:44:41 +0200 |
---|---|---|
committer | Bastien <bzg@gnu.org> | 2015-08-05 01:44:41 +0200 |
commit | 74e35a9154233676c8355068bea32d43490ce077 (patch) | |
tree | 48ebf76cd6798c7e451abb39af51569ebb8bff15 | |
parent | 55656c8eb12fd8b01abeeeae2431a7666058f7ac (diff) |
doc/orgguide.texi: uncomment the licenserelease_8.3
-rw-r--r-- | doc/orgguide.texi | 6 |
1 files 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 |