Escaping the percent sign in URIs.
commiteaedd302526b9ab369d8676720c494d18b6f5ce8
authorHenrik Tidefelt <tidefelt@isy.liu.se>
Fri, 10 Oct 2008 07:52:41 +0000 (10 09:52 +0200)
committerHenrik Tidefelt <tidefelt@isy.liu.se>
Fri, 10 Oct 2008 08:24:18 +0000 (10 10:24 +0200)
tree034754cfc8bc68238fb95854a790f0773a906026
parent0d45e17a7904a75cbc6212980c67dd7a99d6d576
Escaping the percent sign in URIs.

According to http://www.w3.org/TR/xpath-functions/#func-iri-to-uri, the iri-to-uri function shall be combined with manual replacement of the percent sign by its escape sequence "%25".

Then, the escape sequences must be inverted when generating dependencies.  At the moment, only the sequence "%25" is inverted, since I could't immediately find the XPath function that would do the job properly.
doc/parts/formats/examplecode-html.xsl
doc/tools/xhtml-deps/filter.xsl