Replace spaces with underscore in HTML anchor names.
authorkkolinko <kkolinko@13f79535-47bb-0310-9956-ffa450edef68>
Wed, 5 May 2010 15:45:21 +0000 (15:45 +0000)
committerkkolinko <kkolinko@13f79535-47bb-0310-9956-ffa450edef68>
Wed, 5 May 2010 15:45:21 +0000 (15:45 +0000)
commit688fa2ade8c845db1d6fa545d10214a9b4b5205c
tree4e07d5b015d391aa97ae1fe49c76eb53e1aaad56
parent9a01858b2519f7ba4020e2e252dfd9efcc32b2e3
Replace spaces with underscore in HTML anchor names.
To preserve compatibility each (sub)section will now generate two anchors:
the old one and the new one, if they differ.
It is port of r936982 from tomcat/site

git-svn-id: https://svn.apache.org/repos/asf/tomcat/trunk@941356 13f79535-47bb-0310-9956-ffa450edef68
webapps/docs/tomcat-docs.xsl