+makeindex_1.pdf: rebase
+ @$(ECHO) '---------- $@: $^ ----------'
+ @$(MAKE) -s makeindex.pdf
+ @$(CP) -v makeindex.pdf $@
+
+makeindex_2.pdf: body-update
+ @$(ECHO) '---------- $@: $^ ----------'
+ @$(MAKE) -s makeindex.pdf
+ @$(CP) -v makeindex.pdf $@