diff options
Diffstat (limited to 'contrib/xml/xmlcommand.ml')
| -rw-r--r-- | contrib/xml/xmlcommand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml index 3d98375ddf..63f7bfce21 100644 --- a/contrib/xml/xmlcommand.ml +++ b/contrib/xml/xmlcommand.ml @@ -930,6 +930,6 @@ let uri_of_dirpath dir = let _ = Library.set_xml_require (fun d -> theory_output_string - (Printf.sprintf "Require <a href=\"theory:%s.theory\">%s</a>" + (Printf.sprintf "Require <a href=\"theory:%s.theory\">%s</a>.<br/>" (uri_of_dirpath d) (Names.string_of_dirpath d))) ;; |