Commit d9195919 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix why3doc output so that anchors are compliant tokens.

parent 92fd8345
......@@ -56,7 +56,13 @@ let get_file fname =
f
let make_tag s l =
s ^ "_" ^ string_of_int l (* TODO: improve? *)
let t =
s ^ "_" ^ string_of_int l (* TODO: improve? *)
in
for i = 0 to String.length s - 1 do
if t.[i] = ' ' then t.[i] <- '_'
done;
t
let add_ident id = match id.id_loc with
| None ->
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment