output is an html file
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Thu, 8 Oct 2009 12:59:33 +0000 (12:59 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Thu, 8 Oct 2009 12:59:33 +0000 (12:59 +0000)
scripts/all-modules.sh

index 792b4c5..e6b0d96 100755 (executable)
@@ -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