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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
$ odoc support-files -o with-theme
$ find with-theme | sort
with-theme
with-theme/fonts
with-theme/fonts/KaTeX_AMS-Regular.woff2
with-theme/fonts/KaTeX_Caligraphic-Bold.woff2
with-theme/fonts/KaTeX_Caligraphic-Regular.woff2
with-theme/fonts/KaTeX_Fraktur-Bold.woff2
with-theme/fonts/KaTeX_Fraktur-Regular.woff2
with-theme/fonts/KaTeX_Main-Bold.woff2
with-theme/fonts/KaTeX_Main-BoldItalic.woff2
with-theme/fonts/KaTeX_Main-Italic.woff2
with-theme/fonts/KaTeX_Main-Regular.woff2
with-theme/fonts/KaTeX_Math-BoldItalic.woff2
with-theme/fonts/KaTeX_Math-Italic.woff2
with-theme/fonts/KaTeX_SansSerif-Bold.woff2
with-theme/fonts/KaTeX_SansSerif-Italic.woff2
with-theme/fonts/KaTeX_SansSerif-Regular.woff2
with-theme/fonts/KaTeX_Script-Regular.woff2
with-theme/fonts/KaTeX_Size1-Regular.woff2
with-theme/fonts/KaTeX_Size2-Regular.woff2
with-theme/fonts/KaTeX_Size3-Regular.woff2
with-theme/fonts/KaTeX_Size4-Regular.woff2
with-theme/fonts/KaTeX_Typewriter-Regular.woff2
with-theme/fonts/fira-mono-v14-latin-500.woff2
with-theme/fonts/fira-mono-v14-latin-regular.woff2
with-theme/fonts/fira-sans-v17-latin-500.woff2
with-theme/fonts/fira-sans-v17-latin-500italic.woff2
with-theme/fonts/fira-sans-v17-latin-700.woff2
with-theme/fonts/fira-sans-v17-latin-700italic.woff2
with-theme/fonts/fira-sans-v17-latin-italic.woff2
with-theme/fonts/fira-sans-v17-latin-regular.woff2
with-theme/fonts/noticia-text-v15-latin-700.woff2
with-theme/fonts/noticia-text-v15-latin-italic.woff2
with-theme/fonts/noticia-text-v15-latin-regular.woff2
with-theme/highlight.pack.js
with-theme/katex.min.css
with-theme/katex.min.js
with-theme/odoc.css
with-theme/odoc_search.js
$ odoc support-files --without-theme -o without-theme
$ find without-theme | sort
without-theme
without-theme/fonts
without-theme/fonts/KaTeX_AMS-Regular.woff2
without-theme/fonts/KaTeX_Caligraphic-Bold.woff2
without-theme/fonts/KaTeX_Caligraphic-Regular.woff2
without-theme/fonts/KaTeX_Fraktur-Bold.woff2
without-theme/fonts/KaTeX_Fraktur-Regular.woff2
without-theme/fonts/KaTeX_Main-Bold.woff2
without-theme/fonts/KaTeX_Main-BoldItalic.woff2
without-theme/fonts/KaTeX_Main-Italic.woff2
without-theme/fonts/KaTeX_Main-Regular.woff2
without-theme/fonts/KaTeX_Math-BoldItalic.woff2
without-theme/fonts/KaTeX_Math-Italic.woff2
without-theme/fonts/KaTeX_SansSerif-Bold.woff2
without-theme/fonts/KaTeX_SansSerif-Italic.woff2
without-theme/fonts/KaTeX_SansSerif-Regular.woff2
without-theme/fonts/KaTeX_Script-Regular.woff2
without-theme/fonts/KaTeX_Size1-Regular.woff2
without-theme/fonts/KaTeX_Size2-Regular.woff2
without-theme/fonts/KaTeX_Size3-Regular.woff2
without-theme/fonts/KaTeX_Size4-Regular.woff2
without-theme/fonts/KaTeX_Typewriter-Regular.woff2
without-theme/fonts/fira-mono-v14-latin-500.woff2
without-theme/fonts/fira-mono-v14-latin-regular.woff2
without-theme/fonts/fira-sans-v17-latin-500.woff2
without-theme/fonts/fira-sans-v17-latin-500italic.woff2
without-theme/fonts/fira-sans-v17-latin-700.woff2
without-theme/fonts/fira-sans-v17-latin-700italic.woff2
without-theme/fonts/fira-sans-v17-latin-italic.woff2
without-theme/fonts/fira-sans-v17-latin-regular.woff2
without-theme/fonts/noticia-text-v15-latin-700.woff2
without-theme/fonts/noticia-text-v15-latin-italic.woff2
without-theme/fonts/noticia-text-v15-latin-regular.woff2
without-theme/highlight.pack.js
without-theme/katex.min.css
without-theme/katex.min.js
without-theme/odoc_search.js
|
