From 572e4feaf7368517242975fb1f83f920226cc389 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 15 Sep 2019 19:41:36 -0400
Subject: [PATCH] GNUmakefile: rebuild if a sage listing is modified.

---
 GNUmakefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/GNUmakefile b/GNUmakefile
index 799b6db..779162a 100644
--- 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.
 #
-- 
2.43.2