security-and-privacy/gnupg
security-and-privacy/gnupg
1
0
Fork 0
mirror of git://git.gnupg.org/gnupg.git synced 2024-05-28 21:50:02 +02:00
Code Activity

*** empty log message ***

Browse Source
This commit is contained in:
Werner Koch 1999-05-23 17:29:35 +00:00
parent e8191d398e
commit dbae7a7d21
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
scripts/mkwebpage
View File

@ -6,7 +6,7 @@
set -e set -e
#cd $HOME/pub cd $HOME/pub
extract_date () { extract_date () {
# This strange construct is to speed up things. Grouping a "s" and a "q" # 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 cvs -Q checkout -p gnupg/BUGS | sed '1,/^~~~~~~~~~~~/ d' > $pgm.tmp/BUGS
echo "(List generated from CVS: " $(date +%Y-%m-%d) ")" >> $pgm.tmp/BUGS echo "(List generated from CVS: " $(date +%Y-%m-%d) ")" >> $pgm.tmp/BUGS
sed_it $pgm.tmp $pgm.new sed_it $pgm.tmp $pgm.new
fix_it $pgm.tmp $pgm.new rm -rf $pgm.tmp || true
rm -rf $pgm.old || true
rm -rf $pgm.old || true
[ -d $pgm ] && mv $pgm $pgm.old [ -d $pgm ] && mv $pgm $pgm.old
if ! mv $pgm.new $pgm ; then if ! mv $pgm.new $pgm ; then
echo "rename failed - restoring" >&2 echo "rename failed - restoring" >&2