commit 4954cee602921079d6d3f9cae665a641d8414d83
parent 945d601f3054d8a7ce501ae61f1cd1155ed1edac
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Wed, 2 Nov 2022 17:18:12 +0100
Fix Makefile target of tex files
Tex files updated by weave backend were not correctly managed: the pdf
was not regenerated. We had to update them explicitly with the touch
command. Note that this issue only occurs with gmake; bmake worked as
expected without this patch.
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/Makefile b/Makefile
@@ -85,6 +85,7 @@ $(DOC).bbl: $(TEX) src/biblio.bib
$(LATEX) src/$(DOC).tex && rm -f $(DOC).pdf && $(BIBTEX) $(DOC)
$(TEX): weave.all
+ @touch $@
weave.all: $(NOWEB) noweave_backend.sh config.mk
$(WEAVE) $(NOWEAVE_OPTS) -backend "sh noweave_backend.sh" $(NOWEB)