- xhtbl: minor improvement

[helm.git] / helm / www / lambdadelta / bin / xhtbl / xmlUnparser.ml

diff --git a/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml b/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
index 0ff801e93c4c96e074f88bae7726058f7a1f9050..e60a6a46c3e21a792577c35216046de44d41d2d5 100644 (file)
--- a/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
@@ -15,6 +15,7 @@ let myself = F.basename (Sys.argv.(0))
 let msg = P.sprintf "This file was generated by %s, do not edit" myself
 
 let compose uri ext =
+   if uri.[pred (S.length uri)] = '/' then uri else
    try
       let i = S.index uri '#' in
       let uri, fragment = S.sub uri 0 i, S.sub uri i (S.length uri - i) in