js_of_ocaml icon indicating copy to clipboard operation
js_of_ocaml copied to clipboard
verified publisher icon ocsigen

Post-process html files generated by odoc to include ocsigen headers

Open hhugo opened this issue 6 years ago • 1 comments

probably using lambdasoup

hhugo avatar Aug 10 '19 01:08 hhugo

reuse css from https://github.com/b0-system/odig/tree/master/themes ?

hhugo avatar Aug 15 '19 10:08 hhugo