X-Git-Url: https://arthur.barton.de/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=download.php.en;h=83710aaafda5c8bfdf4f5d43000a9615a30df3b0;hb=d24ea2d260a8fc594020080642cf179cbbc51133;hp=7780fbc951410b8aa499b208b93c3d119edb0a3f;hpb=b55c571b2b975c056a042f6d650037d88bfdae2d;p=ngircd-web.git

diff --git a/download.php.en b/download.php.en
index 7780fbc..83710aa 100644
--- a/download.php.en
+++ b/download.php.en
@@ -13,9 +13,8 @@
 ?>
 <p>
 	All previous versions, GnuPG signatures of the archives and test
-	versions from GIT sources (if available) can be downloaded here:
-	<a href="ftp://ngircd.barton.de/pub/ngircd/">ngircd.barton.de</a> and
-	here <a href="ftp://ftp.berlios.de/pub/ngircd/">ftp.berlios.de</a>.
+	versions from GIT sources (if available) can be downloaded from the
+	<a href="pub/ngircd/">download directory</a>.
 </p>
 <h3 id="packages">
 	Packages
@@ -24,19 +23,11 @@
 	Ready packages for ngIRCd are available for the following
 	distributions:
 </p>
-<?php
-	include('common/distributions.inc');
-?>
-<p>
-	Inofficial packages:
-</p>
-<ul>
-	<li>
-		<a href="http://www.debian.org/">Debian Linux</a>:
-		<a href="ftp://arthur.barton.de/debian/pool/main/n/ngircd/">deb</a>
-		(Author: Alex Barton)
-	</li>
-</ul>
+<?php include('common/distributions.inc'); ?>
+<h4>Other</h4>
+<?php include('common/distributions-other.inc'); ?>
+<h4>Inofficial packages</h4>
+<?php include('common/distributions-unofficial.inc'); ?>
 <h3 id="git">
 	GIT Repository
 </h3>
@@ -49,7 +40,13 @@
 <p>
 	The repository is also available online:
 	<a href="http://ngircd.barton.de/cgi-bin/gitweb.cgi?p=ngircd.git">ngIRCd GIT Repository</a>.
-</p>				
+	A <a href="https://github.com/alexbarton/ngircd">Mirror</a> is
+	available on <a href="https://github.com/">GitHub</a>.
+</p>
+<p style="vertical-align: middle;">
+	Current build status on <a href="https://travis-ci.org">Travis-CI</a>:
+	<a href="https://travis-ci.org/alexbarton/ngircd"><img style="vertical-align: middle;" src="https://travis-ci.org/alexbarton/ngircd.png?branch=master"></a>
+</p>
 <?php
 	end_page();
 ?>