From 3cc7233a23928fcb76fdd87a5a79c3d75167bca3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 22 Jun 2022 09:35:28 +0200
Subject: [PATCH] Fix documentation cleaning
---
doc/Makefile | 8 ++++----
src/plugins/e-acsl/doc/refman/Makefile | 3 +++
src/plugins/e-acsl/doc/userman/Makefile | 3 +++
3 files changed, 10 insertions(+), 4 deletions(-)
diff --git a/doc/Makefile b/doc/Makefile
index 951a8150368..4b044f7e004 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 4814aa3de68..961f6fe09ec 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 8486028efd9..14ee4a24894 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
--
GitLab