let uripath = if st.cover = "" then path else st.cover :: path in
let str = String.concat "/" uripath in
let str = Filename.concat str id in
- U.uri_of_string ("ld:/" ^ str), id, path
+ U.uri_of_string ("ld:/" ^ str ^ ".ld"), id, path
let uri_of_qid (uri, _, _) = uri
in
resolve_lref f st l lenv (id_of_name name)
-let xlate_item f st = function
+let xlate_entity f st = function
| A.Section (Some (_, name)) ->
f {st with path = name :: st.path; nodes = st.node :: st.nodes} None
| A.Section None ->
let initial_status ?(cover="") () =
initial_status hsize cover
-let meta_of_aut = xlate_item
+let meta_of_aut = xlate_entity