GNUmakefile: rebuild if a sage listing is modified.

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