# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1189909597 0
# Node ID 6fa9e8761256a9584cf5c407e4734529576ed9c4
# Parent  01b2f68bce65b52eafa0430f2538435c10038e26
File gfdl.1 has been removed.

diff -r 01b2f68bce65 -r 6fa9e8761256 make-dist
--- a/make-dist	Sun Sep 16 02:26:29 2007 +0000
+++ b/make-dist	Sun Sep 16 02:26:37 2007 +0000
@@ -691,9 +691,7 @@
 
 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