diff --git a/doc/download.php b/doc/download.php
index 5ecc0c3d8d..d9e97eb286 100755
--- a/doc/download.php
+++ b/doc/download.php
@@ -32,6 +32,12 @@ function version_end($xml) {
list_end();
}
+function show_463($xml=false) {
+ version_start("4.63", "1 Feb 2005", $xml);
+ version("Windows", "boinc_4.63_windows_intelx86.exe", $xml);
+ version_end($xml);
+}
+
function show_462($xml=false) {
version_start("4.62", "24 Jan 2005", $xml);
version("Windows", "boinc_4.62_windows_intelx86.exe", $xml);
@@ -140,8 +146,8 @@ if ($_GET["xml"]) {
";
echo "