diff options
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 4e70f9cd76d..c74ffa501fc 100755 --- a/make-dist +++ b/make-dist @@ -602,7 +602,7 @@ echo "Making links to \`man'" echo "Making links to \`lispref'" (cd lispref - ln *.texi *.aux *.cps *.fns *.kys *.vrs ../${tempdir}/lispref + ln *.texi *.aux *.cps *.fns *.kys *.vrs index.*perm ../${tempdir}/lispref test -f README && ln README ../${tempdir}/lispref test -f Makefile.in && ln Makefile.in ../${tempdir}/lispref ln ChangeLog ../${tempdir}/lispref |