From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 15 Sep 2019 23:41:36 +0000 (-0400)
Subject: GNUmakefile: rebuild if a sage listing is modified.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=572e4feaf7368517242975fb1f83f920226cc389;p=mjotex.git

GNUmakefile: rebuild if a sage listing is modified.
---

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.
 #