diff --git a/config/distscript.csh b/config/distscript.csh index 1edf1a1f61..569baf850d 100755 --- a/config/distscript.csh +++ b/config/distscript.csh @@ -10,7 +10,7 @@ # University of Stuttgart. All rights reserved. # Copyright (c) 2004-2005 The Regents of the University of California. # All rights reserved. -# Copyright (c) 2009 Cisco Systems, Inc. All rights reserved. +# Copyright (c) 2009-2010 Cisco Systems, Inc. All rights reserved. # $COPYRIGHT$ # # Additional copyrights may follow @@ -174,68 +174,6 @@ foreach file (config.guess config.sub) end -# -# Put in date/version number in man pages -# JMS don't have man pages yet -- this is a straight copy from LAM7 -# - -set ver="$OMPI_VERSION" -#echo "*** Updating version date/number in man pages" -#rm -f manfiles -#find man -type f | grep -v Makefile > manfiles - -#set date="`date '+%B, %Y'`" -#cp $srcdir/config/doctext.nroff.def . -#foreach file (`cat manfiles` doctext.nroff.def) -# sed -e "s/-RELEASEDATE-/$date/g" $file > foo -# sed -e "s/-RELEASEVERSION-/$ver/g" foo > bar -# rm -f $file # Needed 'cause automake makes hard links, not copies -# mv bar $file -# rm -f foo -#end -#rm -f manfiles - -# -# Make all the man pages -- doctext needs to be in your path -# JMS: Don't have man pages yet; need to do this at some point -# - -# -# Now we need to list all these generated man pages in the Makefile.am -# and Makefile.in in man/man3. Ick! -# JMS: Will probably need to do this as well. Sigh. -# - -#echo "*** Frobbing Makefile.am and Makefile.in..." -#cd ../../man/man3 -#set files="`ls MPI_*3 MPIO_*3 XMPI_*3 MPIL_*3`" - -# -# This is unfortunately necessary because $files is too long to do a -# single sed search/replace. Ugh. -# JMS: Will probably need to do this as well. Sigh. -# - -#echo "*** Adding man files to Makefile.in..." -#foreach file ($files) -# set name_prefix="`echo $file | cut -c1-4`" -# if ("$name_prefix" == "MPI_") then -# set letter="`echo $file | cut -c5`" -# set div="`expr $letter \> F`" -# set line="generated_man_$div" -# else -# set line="generated_man_other" -# endif -# echo " - $file / $line" -# foreach fix (Makefile.am Makefile.in) -# sed -e "s/$line =/$line =$file /" $fix > $fix.new -# chmod +w $fix -# mv -f $fix.new $fix -# chmod -w $fix -# end -#end -#cd ../.. - # # Put the release version number in the README and INSTALL files #