Document requirement on Alectryon 1.4.

coq-community · Oct 15, 2021 · ff8817c · ff8817c
1 parent 103a4bb
commit ff8817c
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 6 deletions.
diff --git a/README.md b/README.md
@@ -75,7 +75,7 @@ This contribution contains two parts:
   `nix-shell --argstr job hydra-battles` or `nix-shell --argstr job
   addition-chains`.
 
-- Building the PDF documentation also requires Alectryon 1.2 and SerAPI.
+- Building the PDF documentation also requires Alectryon 1.4 and SerAPI.
   See [`doc/movies/Readme.md`](doc/movies/Readme.md) for details.
 
 - The general Makefile is in the top directory:

diff --git a/doc/movies/Readme.md b/doc/movies/Readme.md
@@ -5,10 +5,11 @@ This script has been tested with Python 3.7 or above and uses [Alectryon](https:
 to transform "coq+rst" to "latex" file.
 
 ## Requirements
-The script has been tested with a recent version of Alectryon v1.3.1 (Aug 28th, 2021). You can download it from
-[Alectryon's site](https://github.com/cpitclaudel/alectryon).
 
-you may also run `pip install -r requirements.txt`
+This script requires Alectryon 1.4.
+
+To get it, you may run `pip install -r requirements.txt` or
+`nix-shell` (at the root of the project).
 
 
 

diff --git a/doc/movies/requirements.txt b/doc/movies/requirements.txt
@@ -1 +1 @@
-alectryon >=1.3.1
+alectryon >=1.4.0
diff --git a/meta.yml b/meta.yml
@@ -36,7 +36,7 @@ build: |-
     `nix-shell --argstr job hydra-battles` or `nix-shell --argstr job
     addition-chains`.
 
-  - Building the PDF documentation also requires Alectryon 1.2 and SerAPI.
+  - Building the PDF documentation also requires Alectryon 1.4 and SerAPI.
     See [`doc/movies/Readme.md`](doc/movies/Readme.md) for details.
 
   - The general Makefile is in the top directory: