GNUmakefile: oops, fix the index generation again.

diff --git a/GNUmakefile b/GNUmakefile
index e61d7f24320990a550c0c96ef2b94a872a34ceb1..3456c4d9c2f396d439345805b109ff52d3f6db75 100644 (file)
--- 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.