-let mk_qid id path =
- let str = String.concat "/" path in
- let str = Filename.concat str id in
- U.uri_of_string ("ld:/" ^ str), id, path
+let mk_qid st id path =
+ 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 ^ ".ld"), id, path