From a6c1d186ec5bbd8d02dfd2f057cd147afdfe900f Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 15 Sep 2019 20:54:56 -0400
Subject: [PATCH] GNUmakefile: oops, fix the index generation again.

---
 GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
2.43.2