#! /bin/sh name=gmp version=6.2.1 version_suffix= djver1=`echo $version | sed -e 's:\.::2g'` djver2=`echo $version$version_suffix | sed -e 's:\.::g'` dname=$name-$djver1 rm -rf inst.djg make install install-info prefix=`pwd`/inst.djg make check >check.log 2>&1 mkdir -p inst.djg/manifest mkdir -p inst.djg/gnu/$dname touch inst.djg/manifest/$name${djver2}b.mft cat >inst.djg/manifest/$name${djver2}b.ver <inst.djg/share/info/$file.new rm -f inst.djg/share/info/$file mv -f inst.djg/share/info/$file.new inst.djg/share/info/$nn done mkdir -p inst.djg/info mv -v inst.djg/share/info/* inst.djg/info/ ( cd inst.djg && find . -type f -o -type l| sed -e 's:^\./::' | sort >manifest/$name${djver2}b.mft ) ( cd inst.djg && cat manifest/$name${djver2}b.mft | zip -9@ ../$name${djver2}b.zip )