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