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