CoqdocJs master branch

.github/workflows/docker-action.yml

@@ -14,16 +14,16 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        image:
-          - 'coqorg/coq:8.9'
-          - 'coqorg/coq:8.11'
-          - 'coqorg/coq:8.12'
-          - 'coqorg/coq:8.13'
-          - 'coqorg/coq:8.14'
-          - 'coqorg/coq:8.15'
-          - 'coqorg/coq:8.16'
-          - 'coqorg/coq:8.17'
-          - 'coqorg/coq:dev'
+        coq:
+          - '8.9'
+          - '8.11'
+          - '8.12'
+          - '8.13'
+          - '8.14'
+          - '8.15'
+          - '8.16'
+          - '8.17'
+          - 'dev'
       fail-fast: false
     steps:
       - uses: actions/checkout@v3
@@ -32,7 +32,7 @@ jobs:
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-ext-lib.opam'
-          custom_image: ${{ matrix.image }}
+          coq_version: ${{ matrix.coq }}
           before_script: |
             startGroup "Workaround permission issue"
               sudo chown -R coq:coq .

Makefile

@@ -1,5 +1,6 @@
 all: theories examples
 
+COQDOCJS_LN?=true
 -include coqdocjs/Makefile.doc
 COQMAKEFILE?=Makefile.coq