GNUmakefile: tweak that last commit to use the DSTS instead of SRCS.

[mjotex.git] / GNUmakefile

diff --git a/GNUmakefile b/GNUmakefile
index 799b6dbd61d2e1c14bf5078d53fdd0943144192b..a248258dbfb69e483421380c2a7c1d1aa63784e9 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -48,7 +48,9 @@ ifdef MJOTEX
 MJOTEXPATHS = $(shell kpsewhich $(MJOTEX))
 SRCS += $(MJOTEXPATHS)
 endif
-
+ifdef SAGE_LISTING_DSTS
+SRCS += $(SAGE_LISTING_DSTS)
+endif
 
 # The first target is the default, so put the PDF document first.
 #