src/odoc/dune | 8 3 + 5 - 0 !
src/odoc/support_files.ml | 15 13 + 2 - 0 !
2 files changed, 16 insertions(+), 7 deletions(-)

 removed vendored highlight js library.

 Instead of using the content of the vendored js library, it uses
 highlight.min.js from the libjs-highlight.js package