Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry
curry-tools
Commits
e07dc8cc
Commit
e07dc8cc
authored
Feb 21, 2013
by
Michael Hanus
Browse files
currydoc index update
parent
4ae234f4
Changes
1
Hide whitespace changes
Inline
Side-by-side
currydoc/CurryDocHtml.curry
View file @
e07dc8cc
...
...
@@ -430,17 +430,19 @@ genMainIndexPage docdir modnames =
if length modnames == 1
then [htxt "Documentation of the Curry program ",
href (head modnames++".html") [htxt (head modnames++".curry")]]
else [htxt "Documentation of the Curry programs "] ++
map (\m->href (m++".html") [htxt (m++".curry ")])
(mergeSort leqStringIgnoreCase modnames))
allConsFuncsMenu indexPage
else [htxt "Documentation of Curry programs"])
allConsFuncsMenu (indexPage modnames)
>>= writeFile (docdir++"/index.html")
allConsFuncsMenu =
[[href "findex.html" [htxt "All functions"]],
[href "cindex.html" [htxt "All constructors"]]]
indexPage =
indexPage modnames =
(if length modnames == 1
then []
else [ulist (map (\m->[href (m++".html") [htxt (m++".curry ")]])
(mergeSort leqStringIgnoreCase modnames))]) ++
[bold [htxt "Explanations of the icons used in the documentation:"],
par [anchor "det_explain" [image "det.gif" "deterministic"],
htxt " Function is deterministically defined, i.e.,",
...
...
Write
Preview
Supports
Markdown
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