diff options
author | Glenn Morris <rgm@gnu.org> | 2009-10-27 02:48:13 +0000 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2009-10-27 02:48:13 +0000 |
commit | cf0fbd9af146b3dc53899ce6721ac83067cbd745 (patch) | |
tree | 4e5af8a78df8a49e2b12b9d9e07fc26e48f7d652 /make-dist | |
parent | 154004053bdfc2c1d8d126c486e6417e205387c9 (diff) | |
download | emacs-cf0fbd9af146b3dc53899ce6721ac83067cbd745.tar.gz |
Make links to doc/lispintro/*.pdf.
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 781a5539051..ec100c6740b 100755 --- a/make-dist +++ b/make-dist @@ -706,7 +706,7 @@ echo "Making links to \`doc/lispref'" echo "Making links to \`doc/lispintro'" (cd doc/lispintro - ln *.texi *.aux *.fns *.kys *.vrs *.eps ../../${tempdir}/doc/lispintro + ln *.texi *.aux *.fns *.kys *.vrs *.eps *.pdf ../../${tempdir}/doc/lispintro ln makefile.w32-in ../../${tempdir}/doc/lispintro test -f README && ln README ../../${tempdir}/doc/lispintro test -f Makefile.in && ln Makefile.in ../../${tempdir}/doc/lispintro |