]> Git — Sourcephile - doclang.git/commit
DTC: add <page-ref> draft
authorJulien Moutinho <julm+hdoc@autogeree.net>
Fri, 11 Jan 2019 02:57:33 +0000 (02:57 +0000)
committerJulien Moutinho <julm+hdoc@autogeree.net>
Fri, 11 Jan 2019 02:57:42 +0000 (02:57 +0000)
commit7c47259474709d95e5c33a5915409efa7a7c289f
tree8bd9bbd0e0528183ba31f9eab8cb38b180da00c6
parent0ae49017143395e2fa62e48dcaf8ca9740cae0ef
DTC: add <page-ref> draft
Hdoc/DTC/Analyze/Collect.hs
Hdoc/DTC/Document.hs
Hdoc/DTC/Sym.hs
Hdoc/DTC/Write/HTML5.hs
Hdoc/DTC/Write/HTML5/Base.hs
Hdoc/DTC/Write/HTML5/Ident.hs
Hdoc/TCT/Read/Token.hs
Hdoc/TCT/Write/XML.hs
style/dtc-html5.css