[doc] provide direct files for (E)ACSL versions

.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
 
 ################################################################################

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

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
   '';
 }