X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FxmlUnparser.ml;h=603c7f1bebd1baa2706ce4273b34e5a214ccc5b3;hb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;hp=f413aa0ef071632dd034054ea3dcf320386b6b27;hpb=cb0d4e730bd6ec9bed1018be37748120f740f0a9;p=helm.git
diff --git a/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml b/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
index f413aa0ef..603c7f1be 100644
--- a/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
@@ -22,12 +22,15 @@ let border cell =
if cell.M.cb.T.w then str.[3] <- 's';
str :: cell.M.cc
-let text = function
- | T.Plain s -> s
- | T.Link (uri, s) -> P.sprintf "%s" uri s
+let text baseuri ext = function
+ | T.Plain s -> s
+ | T.Link (true, uri, s) -> P.sprintf "%s" uri s
+ | T.Link (false, uri, s) ->
+ let uri = !O.baseuri ^ baseuri ^ uri ^ ext in
+ P.sprintf "%s" uri s
let key cell =
- if cell.M.ck = [] then "
" else S.concat " " (L.map text cell.M.ck)
+ if cell.M.ck = [] then "
" else S.concat " " (L.map (text cell.M.cu cell.M.cx) cell.M.ck)
let ind i = S.make (2 * i) ' '