]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
GNUmakefile: ensure the indices are rebuilt when the document changes.
authorMichael Orlitzky <michael@orlitzky.com>
Thu, 21 Nov 2019 20:21:40 +0000 (15:21 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Thu, 21 Nov 2019 20:21:40 +0000 (15:21 -0500)

No differences found