mirror of
git://git.gnupg.org/gnupg.git
synced 2025-07-02 22:46:30 +02:00
See ChangeLog: Mon Feb 22 20:04:00 CET 1999 Werner Koch
This commit is contained in:
parent
5d5dc4b12d
commit
9f099678ac
17 changed files with 346 additions and 54 deletions
|
@ -21,9 +21,15 @@ fix_it () {
|
|||
|
||||
EOF
|
||||
cvs -Q checkout -p gnupg/NEWS >>$dir/NEWS
|
||||
cvs -Q checkout -p gnupg/BUGS >>$dir/BUGS
|
||||
here=`pwd`
|
||||
cd $dir
|
||||
ln -sf gnupg.html index.html
|
||||
sed -n '1,/@BEGIN_BUGLIST@/ p' buglist.html >buglist.tmp
|
||||
sed '1,/^~~~~~~~~~~~/ d' BUGS >>buglist.tmp
|
||||
echo "(List generated from CVS: " `date -R` ")" >>buglist.tmp
|
||||
sed -n '/@END_BUGLIST@/,$ p' buglist.html >>buglist.tmp
|
||||
mv buglist.tmp buglist.html
|
||||
cd $here
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue