Updates noweb.mk too

dbosk · Dec 1, 2022 · 980ea1b · 980ea1b
1 parent 0a54d64
commit 980ea1b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/noweb.mk b/noweb.mk
@@ -2,11 +2,11 @@ ifndef NOWEB_MK
 NOWEB_MK = true
 
 NOWEAVE.tex?=       noweave ${NOWEAVEFLAGS.tex} $< > $@
-NOWEAVEFLAGS.tex?=  -x -n -delay -t2
+NOWEAVEFLAGS.tex?=  ${NOWEAVEFLAGS} -x -n -delay -t2
 NOWEAVE.pdf?=       \
   noweave ${NOWEAVEFLAGS.pdf} $< > ${@:.pdf=.tex} && \
   latexmk -pdf ${@:.pdf=.tex}
-NOWEAVEFLAGS.pdf?=  -x -t2
+NOWEAVEFLAGS.pdf?=  ${NOWEAVEFLAGS} -x -t2
 NOTANGLEFLAGS?=
 NOTANGLE?=      notangle ${NOTANGLEFLAGS} -R$(notdir $@) $(filter %.nw,$^) | \
                   ${CPIF} $@