diff options
author | Werner Koch <wk@gnupg.org> | 1999-05-23 19:29:35 +0200 |
---|---|---|
committer | Werner Koch <wk@gnupg.org> | 1999-05-23 19:29:35 +0200 |
commit | dbae7a7d21b69f994ed6d4b0aea22ec04e5a9571 (patch) | |
tree | c49e7ec6af900c9e4756e6b52cabc8a88b95cdab /scripts/mkwebpage | |
parent | *** empty log message *** (diff) | |
download | gnupg2-dbae7a7d21b69f994ed6d4b0aea22ec04e5a9571.tar.xz gnupg2-dbae7a7d21b69f994ed6d4b0aea22ec04e5a9571.zip |
*** empty log message ***
Diffstat (limited to '')
-rwxr-xr-x | scripts/mkwebpage | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/mkwebpage b/scripts/mkwebpage index 133263dc7..5944261d7 100755 --- a/scripts/mkwebpage +++ b/scripts/mkwebpage @@ -6,7 +6,7 @@ set -e -#cd $HOME/pub +cd $HOME/pub extract_date () { # This strange construct is to speed up things. Grouping a "s" and a "q" @@ -77,9 +77,9 @@ EOF cvs -Q checkout -p gnupg/BUGS | sed '1,/^~~~~~~~~~~~/ d' > $pgm.tmp/BUGS echo "(List generated from CVS: " $(date +%Y-%m-%d) ")" >> $pgm.tmp/BUGS sed_it $pgm.tmp $pgm.new - fix_it $pgm.tmp $pgm.new - rm -rf $pgm.old || true + rm -rf $pgm.tmp || true + rm -rf $pgm.old || true [ -d $pgm ] && mv $pgm $pgm.old if ! mv $pgm.new $pgm ; then echo "rename failed - restoring" >&2 |