From de58c7fd1efc0628c47acb93a2d109196127e062 Mon Sep 17 00:00:00 2001
From: Benjamin Sonntag <benjamin@alternc.org>
Date: Sun, 27 Mar 2011 10:54:01 +0000
Subject: [PATCH] fixing wget in header for nightlybuild

---
 nightlybuild/HEADER.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nightlybuild/HEADER.html b/nightlybuild/HEADER.html
index 53058959..a07dd78f 100644
--- a/nightlybuild/HEADER.html
+++ b/nightlybuild/HEADER.html
@@ -20,5 +20,5 @@ Le dépôt et les packages sont signés avec la clé pgp des nightly d'AlternC :
 <br /><br />
 The repository and the packages are signed by the pgp key of AlternC nightly build user : 
 <pre>
- wget http://nightly.alternc.org/nightly.key | apt-key add - 
+ wget http://nightly.alternc.org/nightly.key -O - | apt-key add - 
 </pre>