]> gitweb.michael.orlitzky.com - mjotex.git/commit - GNUmakefile
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)
commit27f00374a2bf78ce1bf1e649f0881c31e92bd92b
treed9f9ea1b9cfd741030601ab05248bcb3ef7409af
parent6dfb93ac68463f1f47a009e2d1672c1c78f1e847
GNUmakefile: ensure the indices are rebuilt when the document changes.
GNUmakefile