Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
7717a356
Commit
7717a356
authored
May 10, 2012
by
Jean-Christophe Filliâtre
Browse files
why3doc: fixed links in index file
parent
7c9ab69f
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/why3doc/doc_main.ml
View file @
7717a356
...
...
@@ -109,8 +109,9 @@ let () =
let
add
fn
=
let
header
=
Doc_lexer
.
extract_header
fn
in
let
header
=
if
header
=
""
then
""
else
": "
^
header
in
fprintf
fmt
"<li> <a href=
\"
%s
\"
>%s</a> %s </li>@
\n
"
(
Doc_def
.
output_file
fn
)
(
Filename
.
basename
fn
)
header
let
basename
=
Filename
.
basename
fn
in
fprintf
fmt
"<li> <a href=
\"
%s.html
\"
>%s</a> %s </li>@
\n
"
basename
basename
header
in
Queue
.
iter
add
opt_queue
;
fprintf
fmt
"</ul>@
\n
"
;
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment