- let base_uri =
- if str <> "" then str else
- if b then out_base_uri else in_base_uri
- in
+ if str <> "" then path, Some (T.Coercion (b, str)) else
+ let base_uri = if b then out_base_uri else in_base_uri in
let s = obj ^ G.string_of_inline_kind T.Con in
path, Some (T.Coercion (b, Filename.concat base_uri s))
| T.Section (b, id, _) as item ->
let s = obj ^ G.string_of_inline_kind T.Con in
path, Some (T.Coercion (b, Filename.concat base_uri s))
| T.Section (b, id, _) as item ->