HCoop
/
hcoop
/
domtool2.git
/ blame_incremental
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blob
|
blame
(non-incremental) |
history
|
HEAD
Basic HTML documentation generation
[hcoop/domtool2.git]
/
configDefault
/
autodoc.cfg
This page requires JavaScript to run. Use
this page
instead.
... / ...
Commit
Line
Data
1
structure Autodoc :> AUTODOC_CONFIG = struct
2
3
val htmlHeader = fn title =>
4
String.concat ["<html><head><title>",
5
title,
6
"</title><body><h1>",
7
title,
8
"</h1>\n"]
9
10
val htmlFooter = "</body></html>"
11
12
end
HCoop / hcoop / domtool2.git / blame_incremental