Remove doc/lispref/tindex.pl
authorGlenn Morris <rgm@gnu.org>
Thu, 26 Apr 2012 01:47:05 +0000 (18:47 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 26 Apr 2012 01:47:05 +0000 (18:47 -0700)
commit562e638f783aaaef788401db1ecf589b0c502ddb
tree80dbb0e6cf216a28f9ce15cd10a2098e62742ea2
parent674ea9c6e466ac3faaaac32dc2a912d05e30dfee
Remove doc/lispref/tindex.pl
I think it is not needed any more.

* doc/lispref/tindex.pl: Remove file.
* make-dist: No more doc/lispref/tindex.pl.
ChangeLog
doc/lispref/ChangeLog
doc/lispref/tindex.pl [deleted file]
make-dist