From 78ef1ed4100817cd681b5f576d4dd7f6812bc558 Mon Sep 17 00:00:00 2001 From: Carsten Dominik Date: Mon, 19 Jul 2010 19:00:24 +0200 Subject: [PATCH] Fix manual and guide tools to remove broken links --- UTILITIES/guidesplit.pl | 2 +- UTILITIES/mansplit.pl | 2 +- doc/orgguide.texi | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/UTILITIES/guidesplit.pl b/UTILITIES/guidesplit.pl index 9d6cf91d2..436519b34 100755 --- a/UTILITIES/guidesplit.pl +++ b/UTILITIES/guidesplit.pl @@ -27,7 +27,7 @@ $contents = <11 Markup
  • 12 Exporting
  • 13 Publishing -
  • 14 Source code +
  • 14 Source code
  • 15 Miscellaneous
  • diff --git a/UTILITIES/mansplit.pl b/UTILITIES/mansplit.pl index af52802f1..0c14f3fa8 100755 --- a/UTILITIES/mansplit.pl +++ b/UTILITIES/mansplit.pl @@ -27,7 +27,7 @@ $contents = <11 Markup
  • 12 Exporting
  • 13 Publishing -
  • 14 Source Code +
  • 14 Source Code
  • 15 Miscellaneous
  • A Hacking
  • B MobileOrg diff --git a/doc/orgguide.texi b/doc/orgguide.texi index 36c604ff9..a37583e30 100644 --- a/doc/orgguide.texi +++ b/doc/orgguide.texi @@ -95,7 +95,7 @@ license to the document, as described in section 6 of the license. @ifnottex @node Top, Introduction, (dir), (dir) -@top Org Mode Manual +@top Org Mode Guide @insertcopying @end ifnottex