[devdocsgjs/main: 1456/1867] Merge pull request #1236 from seirl/ocaml

[Andy Holmes <andyholmes src gnome org>]

commit 9d1649233ca352a1497cfbc10b4780e06ad759be
Merge: c0290b81 a0f6ea21
Author: Simon Legner <Simon Legner gmail com>
Date:   Sun Jan 3 12:02:07 2021 +0100

    Merge pull request #1236 from seirl/ocaml
    
    Add documentation for OCaml

 .../javascripts/templates/pages/about_tmpl.coffee  |    5 +
 assets/javascripts/vendor/prism.js                 | 5698 +++++++++++---------
 docs/file-scrapers.md                              |   12 +
 lib/docs/filters/ocaml/clean_html.rb               |   35 +
 lib/docs/filters/ocaml/entries.rb                  |   59 +
 lib/docs/scrapers/ocaml.rb                         |   30 +
 public/icons/docs/ocaml/16.png                     |  Bin 0 -> 606 bytes
 public/icons/docs/ocaml/16 2x png                  |  Bin 0 -> 1183 bytes
 public/icons/docs/ocaml/SOURCE                     |    2 +
 9 files changed, 3150 insertions(+), 2691 deletions(-)
---
diff --cc docs/file-scrapers.md
index ff78e028,38b59093..c429aea9
--- a/docs/file-scrapers.md
+++ b/docs/file-scrapers.md
@@@ -108,35 -78,24 +108,47 @@@ $GS = '/usr/local/opt/ghostscript/bin/g
  
  ## NumPy
  
+ ## OCaml
+ 
+ Download from https://www.ocaml.org/docs/ the HTML reference:
+ https://ocaml.org/releases/4.11/ocaml-4.11-refman-html.tar.gz
+ and extract it as `/path/to/devdocs/docs/ocaml`:
+ 
+ ```sh
+ cd /path/to/devdocs/docs
+ wget https://ocaml.org/releases/4.11/ocaml-4.11-refman-html.tar.gz
+ tar xf ocaml-4.10-refman-html.tar.gz --transform 's/htmlman/ocaml/'
+ ```
+ 
  ## OpenJDK
  
 -## Perl
 +https://packages.debian.org/sid/openjdk-11-doc
 +
 +```sh
 +mkdir docs/openjdk~11
 +curl --remote-name http://ftp.debian.org/debian/pool/main/o/openjdk-11/openjdk-11-doc_11.0.9.1+1-1_all.deb
 +bsdtar --extract --to-stdout --file openjdk-11-doc_11.0.9.1+1-1_all.deb data.tar.xz | \
 +bsdtar --extract --xz --file - --strip-components=6 --directory=docs/openjdk\~11/ 
./usr/share/doc/openjdk-11-jre-headless/api/
 +```
 +
 +https://packages.debian.org/sid/openjdk-8-doc
 +
 +```sh
 +mkdir docs/openjdk~8
 +curl --remote-name http://ftp.debian.org/debian/pool/main/o/openjdk-8/openjdk-8-doc_8u272-b10-1_all.deb
 +bsdtar --extract --to-stdout --file openjdk-8-doc_8u272-b10-1_all.deb data.tar.xz | \
 +bsdtar --extract --xz --file - --strip-components=6 --directory=docs/openjdk\~8/ 
./usr/share/doc/openjdk-8-jre-headless/api/
 +```
  
  ## PHP
 +Click the link under the "Many HTML files" column on https://www.php.net/download-docs.php, extract the 
tarball, change its name to `php` and put it in `/path/to/devdocs/docs/`.
 +
 +Or run the following commands in your terminal:
  
 +```sh
 +curl https://www.php.net/distributions/manual/php_manual_en.tar.gz > php.tar; \
 +tar -xf php.tar; mv php-chunked-xhtml/ path/to/devdocs/docs/php/
 +```
  ## Python
  
  ### Versions 3.6+