From b8c5de8f133c818eef4d6f0962e4320d4cd24d7f Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Tue, 27 Oct 2009 02:48:13 +0000 Subject: Make links to doc/lispintro/*.pdf. --- make-dist | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'make-dist') 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 -- cgit v1.2.1