From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 16 Sep 2019 00:54:56 +0000 (-0400)
Subject: GNUmakefile: oops, fix the index generation again.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=a6c1d186ec5bbd8d02dfd2f057cd147afdfe900f;p=mjotex.git

GNUmakefile: oops, fix the index generation again.
---

diff --git a/GNUmakefile b/GNUmakefile
index e61d7f2..3456c4d 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -141,7 +141,7 @@ ifdef INDICES
 # dependency (see the bbl rule below) on the idx files to prevent us
 # from going into a rebuild loop when the idx files are regenerated.
 %.ind: $(SRCS) | %.idx
-	makeindex $<
+	makeindex $|
 endif
 
 # The pipe below indicates an "order-only dependency" on the aux file.