commit 86ee68fc6f12eee49b2bb7b39ca69389e23d7206
parent 6398ff0d9ec8aa23cf8cf104d36f9b60945d1919
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Wed, 9 Nov 2022 16:56:30 +0100
Correction de la cible Makefile "weave.all"
La variable référencée comme définissant les options de la commande weave
n'était pas la bonne
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -88,7 +88,7 @@ $(TEX): weave.all
@touch $@
weave.all: $(NOWEB) noweave_backend.sh config.mk
- $(WEAVE) $(NOWEAVE_OPTS) -backend "sh noweave_backend.sh" $(NOWEB)
+ $(WEAVE) $(WEAVE_OPTS) -backend "sh noweave_backend.sh" $(NOWEB)
################################################################################
# Miscellaneous targets