diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rwxr-xr-x | make-dist | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index 677f3abea3c..11136920dde 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2009-10-27 Glenn Morris <rgm@gnu.org> + + * make-dist: Make links to doc/lispintro/*.pdf. + 2009-10-23 Jim Meyering <meyering@redhat.com> * configure.in: Invoke $CPP with -P when creating Makefile and 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 |