From 59181774419c76fd3b621008ac651ece9d677537 Mon Sep 17 00:00:00 2001
From: Baris Metin <Talip-Baris.Metin@sophia.inria.fr>
Date: Wed, 16 Jun 2010 15:25:10 +0200
Subject: [PATCH] url option is no more

---
 scripts/all-modules.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/all-modules.sh b/scripts/all-modules.sh
index 2468431..868acd0 100755
--- a/scripts/all-modules.sh
+++ b/scripts/all-modules.sh
@@ -50,7 +50,7 @@ function do_version () {
     out_tmp=$out_dir/.version.html
     
     mkdir -p $out_dir
-    $build_dir/module-version $MODULES_OPTION --www $name -a --url &> $out_tmp
+    $build_dir/module-version $MODULES_OPTION --www $name -a &> $out_tmp
     mv -f $out_tmp $out_file
 }
 
-- 
2.47.0