diff options
Diffstat (limited to 'scripts/mkwebpage')
| -rwxr-xr-x | scripts/mkwebpage | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/mkwebpage b/scripts/mkwebpage index 769b15623..e386bdff7 100755 --- a/scripts/mkwebpage +++ b/scripts/mkwebpage @@ -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 } |