diff make-dist @ 84595:6fa9e8761256

File gfdl.1 has been removed.
author Glenn Morris <rgm@gnu.org>
date Sun, 16 Sep 2007 02:26:37 +0000
parents 76889be19a75
children 2e60398b267b 14c4a6aac623
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