diff options
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make-dist b/make-dist index 93a5a5a2e88..78ce196a3da 100755 --- a/make-dist +++ b/make-dist @@ -616,8 +616,8 @@ echo "Making links to \`man'" echo "Making links to \`lispref'" (cd lispref ln `ls -1 *.texi` ../${tempdir}/lispref - ln *.aux *.cps *.fns *.kys *.vrs index.*perm ../${tempdir}/lispref - ln *.txt *.el spellfile permute-index tindex.pl ../${tempdir}/lispref + ln *.aux *.cps *.fns *.kys *.vrs ../${tempdir}/lispref + ln *.txt *.el spellfile tindex.pl ../${tempdir}/lispref test -f README && ln README ../${tempdir}/lispref test -f Makefile.in && ln Makefile.in ../${tempdir}/lispref ln ChangeLog ../${tempdir}/lispref |