diff options
author | Glenn Morris <rgm@gnu.org> | 2007-09-16 02:26:37 +0000 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2007-09-16 02:26:37 +0000 |
commit | 40309bbb29ad038f038bf41b5b9530d1a35d70c2 (patch) | |
tree | aa768dbd04865198b205a3732044634759b65733 /make-dist | |
parent | d71e3ee26525b7ace50d981e9a5816f162a65425 (diff) | |
download | emacs-40309bbb29ad038f038bf41b5b9530d1a35d70c2.tar.gz |
File gfdl.1 has been removed.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 4 |
1 files changed, 1 insertions, 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 |