]> gitweb.michael.orlitzky.com - mjotex.git/commit
GNUmakefile: rebuild if a sage listing is modified.
authorMichael Orlitzky <michael@orlitzky.com>
Sun, 15 Sep 2019 23:41:36 +0000 (19:41 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Sun, 15 Sep 2019 23:41:36 +0000 (19:41 -0400)
commit572e4feaf7368517242975fb1f83f920226cc389
treeb5d502c26e2dce6f18b77091f1f8bdaafaa51cda
parente799531ea384c819fc849d2d512062f989453f04
GNUmakefile: rebuild if a sage listing is modified.
GNUmakefile