CI: test 8.19.0 instead of 8.19+rc1

Additionally, delete the pdf version of the CI documentation, can be
build with the Makefile.

.github/workflows/test.yml

@@ -131,20 +131,16 @@ jobs:
           - coq-8.17-emacs-29.2
           - coq-8.18-emacs-26.3
           - coq-8.18-emacs-27.1
-          - coq-8.18-emacs-27.2
-          - coq-8.18-emacs-28.1
           - coq-8.18-emacs-28.2
           - coq-8.18-emacs-29.1
           - coq-8.18-emacs-29.2
-          - coq-8.19-rc-emacs-26.1
-          - coq-8.19-rc-emacs-26.2
-          - coq-8.19-rc-emacs-26.3
-          - coq-8.19-rc-emacs-27.1
-          - coq-8.19-rc-emacs-27.2
-          - coq-8.19-rc-emacs-28.1
-          - coq-8.19-rc-emacs-28.2
-          - coq-8.19-rc-emacs-29.1
-          - coq-8.19-rc-emacs-29.2
+          - coq-8.19-emacs-26.3
+          - coq-8.19-emacs-27.1
+          - coq-8.19-emacs-27.2
+          - coq-8.19-emacs-28.1
+          - coq-8.19-emacs-28.2
+          - coq-8.19-emacs-29.1
+          - coq-8.19-emacs-29.2
           # CIPG change marker end
       # at most 20 concurrent jobs per free account
       # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit
@@ -211,20 +207,16 @@ jobs:
           - coq-8.17-emacs-29.2
           - coq-8.18-emacs-26.3
           - coq-8.18-emacs-27.1
-          - coq-8.18-emacs-27.2
-          - coq-8.18-emacs-28.1
           - coq-8.18-emacs-28.2
           - coq-8.18-emacs-29.1
           - coq-8.18-emacs-29.2
-          - coq-8.19-rc-emacs-26.1
-          - coq-8.19-rc-emacs-26.2
-          - coq-8.19-rc-emacs-26.3
-          - coq-8.19-rc-emacs-27.1
-          - coq-8.19-rc-emacs-27.2
-          - coq-8.19-rc-emacs-28.1
-          - coq-8.19-rc-emacs-28.2
-          - coq-8.19-rc-emacs-29.1
-          - coq-8.19-rc-emacs-29.2
+          - coq-8.19-emacs-26.3
+          - coq-8.19-emacs-27.1
+          - coq-8.19-emacs-27.2
+          - coq-8.19-emacs-28.1
+          - coq-8.19-emacs-28.2
+          - coq-8.19-emacs-29.1
+          - coq-8.19-emacs-29.2
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -284,20 +276,16 @@ jobs:
           - coq-8.17-emacs-29.2
           - coq-8.18-emacs-26.3
           - coq-8.18-emacs-27.1
-          - coq-8.18-emacs-27.2
-          - coq-8.18-emacs-28.1
           - coq-8.18-emacs-28.2
           - coq-8.18-emacs-29.1
           - coq-8.18-emacs-29.2
-          - coq-8.19-rc-emacs-26.1
-          - coq-8.19-rc-emacs-26.2
-          - coq-8.19-rc-emacs-26.3
-          - coq-8.19-rc-emacs-27.1
-          - coq-8.19-rc-emacs-27.2
-          - coq-8.19-rc-emacs-28.1
-          - coq-8.19-rc-emacs-28.2
-          - coq-8.19-rc-emacs-29.1
-          - coq-8.19-rc-emacs-29.2
+          - coq-8.19-emacs-26.3
+          - coq-8.19-emacs-27.1
+          - coq-8.19-emacs-27.2
+          - coq-8.19-emacs-28.1
+          - coq-8.19-emacs-28.2
+          - coq-8.19-emacs-29.1
+          - coq-8.19-emacs-29.2
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false

ci/doc/Makefile

@@ -0,0 +1,12 @@
+# This file is part of Proof General.
+# 
+# © Copyright 2021  Hendrik Tews
+# 
+# Authors: Hendrik Tews
+# Maintainer: Hendrik Tews <[email protected]>
+# 
+# SPDX-License-Identifier: GPL-3.0-or-later
+
+
+README.pdf: README.md
+	pandoc -N --pdf-engine=lualatex README.md -o README.pdf

ci/doc/README.md

@@ -162,7 +162,7 @@ This results in
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: container-number -->
-53
+51
 <!-- CIPG change marker end -->
 containers.
 
@@ -182,7 +182,7 @@ containers.
 |    8.16 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
 |    8.17 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
 |    8.18 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
-| 8.19-rc |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |
+|    8.19 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
 <!-- CIPG change marker end -->
 
 In the table above,
@@ -280,7 +280,7 @@ This results in
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: testrun-number -->
-36
+32
 <!-- CIPG change marker end -->
 version pairs for the Proof General interaction tests with Coq.
 
@@ -299,8 +299,8 @@ version pairs for the Proof General interaction tests with Coq.
 |    8.15 |      |      |      |  SUP |      |   H  |      |      |   N  |
 |    8.16 |      |      |   X  |   X  |      |      |   X  |      |   N  |
 |    8.17 |      |      |   X  |   X  |      |      |   X  |  SUP |   N  |
-|    8.18 |      |      |   X  |   X  |   N  |   N  |   X  |   X  |   N  |
-| 8.19-rc |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |
+|    8.18 |      |      |   X  |   X  |      |      |   X  |   X  |   N  |
+|    8.19 |      |      |   X  |   X  |   N  |   N  |   X  |   X  |   N  |
 <!-- CIPG change marker end -->
 
 See [Container build strategy](#contbuild) for an explanation of the

ci/doc/coq-emacs-releases.org

@@ -13,8 +13,7 @@
 
 | date    |    coq | emacs | distribution name | EOL      | historic |
 |---------+--------+-------+-------------------+----------+----------|
-| 2024/01 |        |  29.2 |                   |          |          |
-| 2023/12 | 8.19rc |       |                   |          |          |
+| 2024/01 | 8.19.0 |  29.2 |                   |          |          |
 | 2023/09 | 8.18.0 |       |                   |          |          |
 | 2023/07 |        |  29.1 |                   |          |          |
 | 2023/06 | 8.17.1 |       |                   |          |          |