why3doc: fixed filenames

parent 2bd1b2ea
...@@ -217,6 +217,7 @@ and no epsilon ...@@ -217,6 +217,7 @@ and no epsilon
ln -s /users/www-perso/projets/why3/api-0.83 \ ln -s /users/www-perso/projets/why3/api-0.83 \
/users/www-perso/projets/why3/api /users/www-perso/projets/why3/api
(PROBLEME avec style.css ? Ou est le probleme ?) (PROBLEME avec style.css ? Ou est le probleme ?)
- update the main HTML page (sources are in repository why3-www) - update the main HTML page (sources are in repository why3-www)
edit index.html edit index.html
make export make export
......
...@@ -111,7 +111,7 @@ let is_def (fn, l, c) = ...@@ -111,7 +111,7 @@ let is_def (fn, l, c) =
Hashtbl.find f.tags (l, c) Hashtbl.find f.tags (l, c)
let make_url fn = let make_url fn =
let url = Filename.basename fn ^ ".html" in let url = html_filename fn ^ ".html" in
match (get_file fn).kind, !stdlib_url with match (get_file fn).kind, !stdlib_url with
| Local, _ -> url | Local, _ -> url
| Loadpath, Some www -> www ^ "/" ^ url | Loadpath, Some www -> www ^ "/" ^ url
......
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