From 9259de15ec46dbfec9d1c784532a39546cfaff82 Mon Sep 17 00:00:00 2001 From: Bastien Date: Fri, 19 Feb 2016 08:38:15 +0100 Subject: [PATCH] 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 | 32 ++++++++++++++++---------------- mk/mansplit.pl | 44 ++++++++++++++++++++++---------------------- 2 files changed, 38 insertions(+), 38 deletions(-) diff --git a/mk/guidesplit.pl b/mk/guidesplit.pl index 436519b34..4a392ec53 100755 --- a/mk/guidesplit.pl +++ b/mk/guidesplit.pl @@ -13,22 +13,22 @@ $contents = <Table of Contents
diff --git a/mk/mansplit.pl b/mk/mansplit.pl index 01ac85111..ec381e40a 100755 --- a/mk/mansplit.pl +++ b/mk/mansplit.pl @@ -14,28 +14,28 @@ $contents = <Table of Contents