diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b7ee6c797ec4ed7311b188adac5b92e68fbd120c..104357272e337c515928b0a3fbe8325b4fc82a38 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -233,6 +233,7 @@ manuals:
     paths:
       - manuals/*.pdf
       - manuals/*.tgz
+      - manuals/*.txt
     expire_in: 7 days # Note: the LAST artifact of the ref is always kept
 
 ################################################################################
diff --git a/doc/Makefile b/doc/Makefile
index 584d88aec76d842370af34c38b77519793add281..25ca4a310288f90325449c8a7b159aa3fc852396 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -149,9 +149,13 @@ all: \
 	manuals/acsl-implementation$(FC_SUFFIX).pdf \
 	manuals/acsl$(ACSL_SUFFIX).pdf \
 
+version: manuals/acsl-version.txt
+
 manuals/acsl-implementation$(FC_SUFFIX).pdf: acsl/acsl-implementation.pdf
 manuals/acsl$(ACSL_SUFFIX).pdf: acsl/acsl.pdf
 
+manuals/acsl-version.txt:
+	echo ${ACSL_VERSION} > $@
 
 ###################
 # E-ACSL          #
@@ -182,12 +186,17 @@ clean::
 all: \
 	manuals/e-acsl-implementation$(FC_SUFFIX).pdf \
 	manuals/e-acsl-manual$(FC_SUFFIX).pdf \
-	manuals/e-acsl$(EACSL_SUFFIX).pdf \
+	manuals/e-acsl$(EACSL_SUFFIX).pdf
+
+version: manuals/e-acsl-version.txt
 
 manuals/e-acsl-implementation$(FC_SUFFIX).pdf: $(EACSL_DOC)/refman/e-acsl-implementation.pdf
 manuals/e-acsl-manual$(FC_SUFFIX).pdf: $(EACSL_DOC)/userman/main.pdf
 manuals/e-acsl$(EACSL_SUFFIX).pdf: $(EACSL_DOC)/refman/e-acsl.pdf
 
+manuals/e-acsl-version.txt:
+	echo ${EACSL_VERSION} > $@
+
 endif
 
 # Note: The makefiles of ACSL/E-ACSL are not parallelizable when producing both
diff --git a/nix/manuals.nix b/nix/manuals.nix
index 1b9cb776c261c89e40cf1224a71a20ef96b99966..18fc9fbb3790bebb462325cc73099ae6955f8111 100644
--- a/nix/manuals.nix
+++ b/nix/manuals.nix
@@ -43,12 +43,13 @@ stdenv.mkDerivation rec {
   '';
 
   buildPhase = ''
-    make -C doc NO_SUFFIX=yes all
+    make -C doc NO_SUFFIX=yes all version
   '';
 
   installPhase = ''
     mkdir -p $out
     cp ./doc/manuals/*.pdf $out
     cp ./doc/manuals/*.tgz $out
+    cp ./doc/manuals/*.txt $out
   '';
 }