From 31d0fa8c402dfc0d945420dd52eb8e7300839cfb Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Sun, 16 Sep 2007 02:26:37 +0000 Subject: [PATCH] File gfdl.1 has been removed. --- make-dist | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/make-dist b/make-dist index 9a9bf0cfc29..cce67987d0c 100755 --- a/make-dist +++ b/make-dist @@ -691,9 +691,7 @@ echo "Making links to \`doc/lispintro'" echo "Making links to \`doc/man'" (cd doc/man - ln *.1 ../../${tempdir}/doc/man - ### Don't distribute gfdl.1, since no man page references it. - rm -f ../../${tempdir}/doc/man/gfdl.1) + ln *.1 ../../${tempdir}/doc/man) echo "Making links to \`vms'" (cd vms -- 2.39.5