add_idx(): Restore message to stdout when formatting the general index.

This commit is contained in:
Fred Drake 1998-04-02 22:39:05 +00:00
parent 2b8093ab96
commit 5a52519a6e

View file

@ -98,6 +98,7 @@ sub make_index_entry {
# use this instead with the buildindex.py tool
sub add_idx{
print "\nDoing the index ...";
close(IDXFILE);
my $index = `$myrootdir/tools/buildindex.py index.dat`;
s/$idx_mark/$index/;