-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathbook.tmpl
53 lines (45 loc) · 1.21 KB
/
book.tmpl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
"<!doctype html>"
(link ((href . "style.css") (rel . "stylesheet")))
(title filename)
"Package: " (i package)
(h1 filename)
(h2 "Summary")
(ul ((class . "toc"))
(li (a ((href . "#Constants")) "Constants"))
(ul ((class . "toc"))
(each consts (li (a ((href . hash-name)) name))))
(li (a ((href . "#Macros")) "Macros"))
(ul ((class . "toc"))
(each macros (li (a ((href . hash-name)) name))))
(li (a ((href . "#Functions")) "Functions"))
(ul ((class . "toc"))
(each defuns (li (a ((href . hash-name)) name))))
(li (a ((href . "#Theorems")) "Theorems"))
(ul ((class . "toc"))
(each thms (li (a ((href . hash-name)) name)))))
(h2 ((id . "Constants")) "Constants")
(dl
(each consts
(dt ((id . name)) name)
(dd doc)
(hr)))
(h2 ((id . "Macros")) "Macros")
(dl
(each macros
(dt ((id . name)) name)
(dd doc)
(hr)))
(h2 ((id . "Functions")) "Functions")
(dl
(each defuns
(dt ((id . name)) "(" name
(each params
" " (var param)) ")" )
(dd doc)
(hr)))
(h2 ((id . "Theorems")) "Theorems")
(dl
(each thms
(dt ((id . name)) name)
(dd doc)
(hr)))