From 0c305d55ba5ab6b1f4662a4654fc3240c993913f Mon Sep 17 00:00:00 2001
From: thierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Date: Thu, 8 Oct 2009 12:59:33 +0000
Subject: [PATCH] output is an html file

---
 scripts/all-modules.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/all-modules.sh b/scripts/all-modules.sh
index 792b4c5..e6b0d96 100755
--- a/scripts/all-modules.sh
+++ b/scripts/all-modules.sh
@@ -46,8 +46,8 @@ function do_diff () {
     name=$1; shift
 
     out_dir=$OUTPUT/$name
-    out_file=$out_dir/diff.txt
-    out_tmp=$out_dir/.diff.txt
+    out_file=$out_dir/diff.html
+    out_tmp=$out_dir/.diff.html
     
     mkdir -p $out_dir
     
-- 
2.43.0