Index: Makefile.in =================================================================== diff -u -r00e5f3c0e3a3b71eaa89f1a673292835bc0d7a56 -rb34996b24ea334963e83aadda66384680a6f8ce5 --- Makefile.in (.../Makefile.in) (revision 00e5f3c0e3a3b71eaa89f1a673292835bc0d7a56) +++ Makefile.in (.../Makefile.in) (revision b34996b24ea334963e83aadda66384680a6f8ce5) @@ -282,7 +282,7 @@ done; fi; libraries-pkgindex: pkgIndex.tcl - $(TCLSH) $(src_lib_dir_native)/lib/make.tcl -dir $(src_lib_dir_native) -all + $(TCLSH) $(src_lib_dir_native)/lib/mkIndex.tcl -dir $(src_lib_dir_native) full-doc: doc pdf example-doc