Fix manual and guide tools to remove broken links
commit78ef1ed4100817cd681b5f576d4dd7f6812bc558
authorCarsten Dominik <carsten.dominik@gmail.com>
Mon, 19 Jul 2010 17:00:24 +0000 (19 19:00 +0200)
committerCarsten Dominik <carsten.dominik@gmail.com>
Mon, 19 Jul 2010 17:00:24 +0000 (19 19:00 +0200)
treef0e1f038d695d8af7c3f192fd58aa63df49d566d
parentf267fb88ac18e3232cbafbb8e9ffda6bd5448a0f
Fix manual and guide tools to remove broken links
UTILITIES/guidesplit.pl
UTILITIES/mansplit.pl
doc/orgguide.texi