diff options
| author | Glenn Morris <rgm@gnu.org> | 2012-04-25 18:47:05 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2012-04-25 18:47:05 -0700 |
| commit | 562e638f783aaaef788401db1ecf589b0c502ddb (patch) | |
| tree | 80dbb0e6cf216a28f9ce15cd10a2098e62742ea2 /make-dist | |
| parent | 674ea9c6e466ac3faaaac32dc2a912d05e30dfee (diff) | |
| download | emacs-562e638f783aaaef788401db1ecf589b0c502ddb.tar.gz | |
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.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-dist b/make-dist index 55dac98d713..44a123c658a 100755 --- a/make-dist +++ b/make-dist @@ -478,7 +478,7 @@ echo "Making links to \`doc/misc'" echo "Making links to \`doc/lispref'" (cd doc/lispref ln *.texi *.in makefile.w32-in README ChangeLog* ../../${tempdir}/doc/lispref - ln *.txt *.el spellfile tindex.pl ../../${tempdir}/doc/lispref + ln *.txt *.el spellfile ../../${tempdir}/doc/lispref ln two-volume.make ../../${tempdir}/doc/lispref) echo "Making links to \`doc/lispintro'" |