Fix links in the table of contents of the HTML manual and guide.
commit9259de15ec46dbfec9d1c784532a39546cfaff82
authorBastien <bzg@gnu.org>
Fri, 19 Feb 2016 07:38:15 +0000 (19 08:38 +0100)
committerBastien <bzg@gnu.org>
Fri, 19 Feb 2016 07:38:15 +0000 (19 08:38 +0100)
treebbe3325af79f3de66542033e74c861c33d22f548
parent9f737bdf1408d29a618cdab71eefe379b9f13476
Fix links in the table of contents of the HTML manual and guide.

* mk/mansplit.pl, mk/guidesplit.pl: Don't prepend "toc_" to TOC links in
the manual and the guide.

Thanks to Yasushi SHOJI for reporting this.
mk/guidesplit.pl
mk/mansplit.pl