jon.recoil.org
this repo has no description
1; Support files for the generated HTML. See the LICENSE file for the licences
2; of the vendored projects.
3
4(rule
5 (aliases runtest support-files)
6 (target odoc_html_support_files.ml)
7 (package odoc)
8 (deps
9 (glob_files *.js)
10 (glob_files *.css)
11 (glob_files_rec *.ttf)
12 (glob_files_rec *.woff2))
13 (action
14 (setenv
15 SOURCE_DATE_EPOCH
16 0
17 (run
18 ocaml-crunch
19 .
20 -e
21 js
22 -e
23 css
24 -e
25 ttf
26 -e
27 woff2
28 -o
29 odoc_html_support_files.ml
30 -m
31 plain))))
32
33(library
34 (name odoc_html_support_files)
35 (public_name odoc.html_support_files)
36 (instrumentation
37 (backend landmarks --auto))
38 (wrapped false))
39
40(install
41 (package odoc)
42 (section share)
43 (files
44 (odoc.css as odoc-theme/default/odoc.css)
45 (fonts/KaTeX_AMS-Regular.woff2
46 as
47 odoc-theme/default/fonts/KaTeX_AMS-Regular.woff2)
48 (fonts/KaTeX_Caligraphic-Bold.woff2
49 as
50 odoc-theme/default/fonts/KaTeX_Caligraphic-Bold.woff2)
51 (fonts/KaTeX_Caligraphic-Regular.woff2
52 as
53 odoc-theme/default/fonts/KaTeX_Caligraphic-Regular.woff2)
54 (fonts/KaTeX_Fraktur-Bold.woff2
55 as
56 odoc-theme/default/fonts/KaTeX_Fraktur-Bold.woff2)
57 (fonts/KaTeX_Fraktur-Regular.woff2
58 as
59 odoc-theme/default/fonts/KaTeX_Fraktur-Regular.woff2)
60 (fonts/KaTeX_Main-Bold.woff2
61 as
62 odoc-theme/default/fonts/KaTeX_Main-Bold.woff2)
63 (fonts/KaTeX_Main-BoldItalic.woff2
64 as
65 odoc-theme/default/fonts/KaTeX_Main-BoldItalic.woff2)
66 (fonts/KaTeX_Main-Italic.woff2
67 as
68 odoc-theme/default/fonts/KaTeX_Main-Italic.woff2)
69 (fonts/KaTeX_Main-Regular.woff2
70 as
71 odoc-theme/default/fonts/KaTeX_Main-Regular.woff2)
72 (fonts/KaTeX_Math-BoldItalic.woff2
73 as
74 odoc-theme/default/fonts/KaTeX_Math-BoldItalic.woff2)
75 (fonts/KaTeX_Math-Italic.woff2
76 as
77 odoc-theme/default/fonts/KaTeX_Math-Italic.woff2)
78 (fonts/KaTeX_SansSerif-Bold.woff2
79 as
80 odoc-theme/default/fonts/KaTeX_SansSerif-Bold.woff2)
81 (fonts/KaTeX_SansSerif-Italic.woff2
82 as
83 odoc-theme/default/fonts/KaTeX_SansSerif-Italic.woff2)
84 (fonts/KaTeX_SansSerif-Regular.woff2
85 as
86 odoc-theme/default/fonts/KaTeX_SansSerif-Regular.woff2)
87 (fonts/KaTeX_Script-Regular.woff2
88 as
89 odoc-theme/default/fonts/KaTeX_Script-Regular.woff2)
90 (fonts/KaTeX_Size1-Regular.woff2
91 as
92 odoc-theme/default/fonts/KaTeX_Size1-Regular.woff2)
93 (fonts/KaTeX_Size2-Regular.woff2
94 as
95 odoc-theme/default/fonts/KaTeX_Size2-Regular.woff2)
96 (fonts/KaTeX_Size3-Regular.woff2
97 as
98 odoc-theme/default/fonts/KaTeX_Size3-Regular.woff2)
99 (fonts/KaTeX_Size4-Regular.woff2
100 as
101 odoc-theme/default/fonts/KaTeX_Size4-Regular.woff2)
102 (fonts/KaTeX_Typewriter-Regular.woff2
103 as
104 odoc-theme/default/fonts/KaTeX_Typewriter-Regular.woff2)
105 (fonts/fira-mono-v14-latin-500.woff2
106 as
107 odoc-theme/default/fonts/fira-mono-v14-latin-500.woff2)
108 (fonts/fira-mono-v14-latin-regular.woff2
109 as
110 odoc-theme/default/fonts/fira-mono-v14-latin-regular.woff2)
111 (fonts/fira-sans-v17-latin-500.woff2
112 as
113 odoc-theme/default/fonts/fira-sans-v17-latin-500.woff2)
114 (fonts/fira-sans-v17-latin-500italic.woff2
115 as
116 odoc-theme/default/fonts/fira-sans-v17-latin-500italic.woff2)
117 (fonts/fira-sans-v17-latin-700.woff2
118 as
119 odoc-theme/default/fonts/fira-sans-v17-latin-700.woff2)
120 (fonts/fira-sans-v17-latin-700italic.woff2
121 as
122 odoc-theme/default/fonts/fira-sans-v17-latin-700italic.woff2)
123 (fonts/fira-sans-v17-latin-italic.woff2
124 as
125 odoc-theme/default/fonts/fira-sans-v17-latin-italic.woff2)
126 (fonts/fira-sans-v17-latin-regular.woff2
127 as
128 odoc-theme/default/fonts/fira-sans-v17-latin-regular.woff2)
129 (fonts/noticia-text-v15-latin-700.woff2
130 as
131 odoc-theme/default/fonts/noticia-text-v15-latin-700.woff2)
132 (fonts/noticia-text-v15-latin-italic.woff2
133 as
134 odoc-theme/default/fonts/noticia-text-v15-latin-italic.woff2)
135 (fonts/noticia-text-v15-latin-regular.woff2
136 as
137 odoc-theme/default/fonts/noticia-text-v15-latin-regular.woff2)))