From e8d6462d5c634e5752f9d3c4ef363dc5cbaa0a85 Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Fri, 17 Feb 2023 15:41:14 +0100 Subject: [PATCH] [doc] fixes the build next to the previous move --- doc/slicing/design-fr/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/slicing/design-fr/Makefile b/doc/slicing/design-fr/Makefile index 77aeade75aa..6f0f9fd280f 100644 --- a/doc/slicing/design-fr/Makefile +++ b/doc/slicing/design-fr/Makefile @@ -26,9 +26,10 @@ all: main.pdf GENERATED=biblio.bib GENERATED+=frama-c-book.cls frama-c-cover.pdf frama-c-left.pdf frama-c-right.pdf -include ../MakeLaTeXModern +FRAMAC_DOC_ROOT_DIR=../.. +include $(FRAMAC_DOC_ROOT_DIR)/MakeLaTeXModern -DWNLDDIR=../manuals +DWNLDDIR=$(FRAMAC_DOC_ROOT_DIR)/manuals DOCNAME=slicing-documentation-fr.pdf BIB_FILE = bib-slicing.bib -- GitLab