From cb9ba249d79006f9707ea14bf4ea7c159f02e24e Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 15 Sep 2019 19:50:51 -0400 Subject: [PATCH] GNUmakefile: tweak that last commit to use the DSTS instead of SRCS. --- GNUmakefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/GNUmakefile b/GNUmakefile index 779162a..a248258 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -48,8 +48,8 @@ ifdef MJOTEX MJOTEXPATHS = $(shell kpsewhich $(MJOTEX)) SRCS += $(MJOTEXPATHS) endif -ifdef SAGE_LISTING_SRCS -SRCS += $(SAGE_LISTING_SRCS) +ifdef SAGE_LISTING_DSTS +SRCS += $(SAGE_LISTING_DSTS) endif # The first target is the default, so put the PDF document first. -- 2.43.2