···11+# This file is generated by dune, edit dune-project instead
22+opam-version: "2.0"
33+synopsis: "Self-contained HTML shell plugin for odoc"
44+description:
55+ "An odoc shell plugin that inlines all CSS and JavaScript into each generated HTML page, producing self-contained documentation files that work without a separate support-files directory. Fonts are loaded from Google Fonts CDN with system font fallbacks."
66+maintainer: ["Anil Madhavapeddy <anil@recoil.org>"]
77+authors: ["Anil Madhavapeddy"]
88+license: "ISC"
99+depends: [
1010+ "dune" {>= "3.21"}
1111+ "ocaml" {>= "4.14"}
1212+ "odoc"
1313+]
1414+build: [
1515+ ["dune" "subst"] {dev}
1616+ [
1717+ "dune"
1818+ "build"
1919+ "-p"
2020+ name
2121+ "-j"
2222+ jobs
2323+ "--promote-install-files=false"
2424+ "@install"
2525+ "@runtest" {with-test}
2626+ "@doc" {with-doc}
2727+ ]
2828+ ["dune" "install" "-p" name "--create-install-files" name]
2929+]
3030+x-maintenance-intent: ["(latest)"]