diff --git a/doc/versions.inc b/doc/versions.inc index 6e133d9a90..0f9138d40a 100644 --- a/doc/versions.inc +++ b/doc/versions.inc @@ -370,6 +370,20 @@ $linux_libs_58= " "; +$w5811= array( + "num"=>"5.8.12", + "status"=>"Development version", + "file"=>"boinc_5.8.12_windows_intelx86.exe", + "date"=>"15 Feb 2007", + "type"=>"win_new", + "features"=>" + ", + "bugs"=>"" +); + $w5811= array( "num"=>"5.8.11", "status"=>"Recommended version", @@ -711,6 +725,7 @@ $windows = array( "name"=>"Windows", "dbname" => "windows_intelx86", "versions"=>array( + $w5812, $w5811, $w5411, $w5213,