diff make-dist @ 105778:a431286b73b3

Make links to doc/lispintro/*.pdf.
author Glenn Morris <rgm@gnu.org>
date Tue, 27 Oct 2009 02:48:13 +0000
parents b51e687e8c81
children 9b7cf86ec483
line wrap: on
line diff
--- a/make-dist	Tue Oct 27 02:46:22 2009 +0000
+++ b/make-dist	Tue Oct 27 02:48:13 2009 +0000
@@ -706,7 +706,7 @@
 
 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