changeset 84595:6fa9e8761256

File gfdl.1 has been removed.
author Glenn Morris <rgm@gnu.org>
date Sun, 16 Sep 2007 02:26:37 +0000
parents 01b2f68bce65
children 6a9059e71f4f
files make-dist
diffstat 1 files changed, 1 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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