diff --git a/ALL_VERSIONS b/ALL_VERSIONS
index 5c93176a091e3436ccc53e46bbbc52090370f534..4819e832e67595fea0a995ab42cb2698672d8345 100644
--- a/ALL_VERSIONS
+++ b/ALL_VERSIONS
@@ -1,5 +1,6 @@
 Version number			Date of release		Notes
 ==============			===============		=====
+25.0 (Manganese)                2022, June 22
 24.0 (Chromium)                 2021, November 30
 23.1 (Vanadium)                 2021, July 20
 23.0 (Vanadium)                 2021, July 7
diff --git a/VERSION b/VERSION
index 5d9f0c7da19e7181f37905b778d6a953b6fc31e1..be8e64f5a38cfeb3e1c58884871821fdedcf09c7 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-25.0~beta
+25.0
diff --git a/doc/Makefile b/doc/Makefile
index 951a81503686c5cc03831857d5e4682cb817678b..4b044f7e004e72299549576b10b26ce1aab5935a 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -140,7 +140,7 @@ else
 ACSL_SUFFIX=$(shell grep acslversion acsl/version.tex | sed 's/.*{\([^{}\\]*\).*/\1/')
 
 clean::
-	$(MAKE) -C acsl clean
+	$(MAKE) -C acsl super-clean
 
 all: \
 	manuals/acsl-implementation-$(FC_SUFFIX).pdf \
@@ -159,7 +159,7 @@ EACSL_SUFFIX=$(shell grep 'newcommand{\\eacsllangversion' $(EACSL_DOC)/refman/ma
 
 ifeq ($(EACSL_SUFFIX),)   
 
-$(info could not retrieve E-ACSL version from ../src/plugins/e-acsl/doc/refman/main.tex")
+$(info "could not retrieve E-ACSL version from ../src/plugins/e-acsl/doc/refman/main.tex")
 
 else
 
@@ -169,8 +169,8 @@ ifneq ($(ACSL_SUFFIX),$(EACSL_SUFFIX))
 endif
 
 clean::
-	$(MAKE) -C $(EACSL_DOC)/refman/ clean
-	$(MAKE) -C $(EACSL_DOC)/userman/ clean
+	$(MAKE) -C $(EACSL_DOC)/refman/ super-clean
+	$(MAKE) -C $(EACSL_DOC)/userman/ super-clean
 
 all: \
 	manuals/e-acsl-implementation-$(FC_SUFFIX).pdf \
diff --git a/src/plugins/e-acsl/doc/refman/Makefile b/src/plugins/e-acsl/doc/refman/Makefile
index 4814aa3de68bdd6d17d32d595cee401abb95bd43..961f6fe09ec4ba3fcedf46c9a869f5aa369181f9 100644
--- a/src/plugins/e-acsl/doc/refman/Makefile
+++ b/src/plugins/e-acsl/doc/refman/Makefile
@@ -54,6 +54,9 @@ clean:
                 *.cb *.cm? *.bbl *.blg *.idx *.ind *.ilg \
 		transf trans.ml pp.ml pp
 
+super-clean: clean
+	rm -f e-acsl-implementation.pdf e-acsl.pdf
+
 #########
 # Tools #
 #########
diff --git a/src/plugins/e-acsl/doc/userman/Makefile b/src/plugins/e-acsl/doc/userman/Makefile
index 8486028efd975dbb02cf54f4540b6aaf3fafa1d7..14ee4a24894e7fc06e7c18dbe438c3aabd725d4a 100644
--- a/src/plugins/e-acsl/doc/userman/Makefile
+++ b/src/plugins/e-acsl/doc/userman/Makefile
@@ -35,3 +35,6 @@ clean:
 		*.haux  *.hbbl *.htoc \
                 *.cb *.cm? *.bbl *.blg *.idx *.ind *.ilg \
 		transf trans.ml pp.ml pp
+
+super-clean: clean
+	rm -f $(MAIN).pdf