From 497710ecc2b3658f9be61d4426fcd89e3d19c148 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 14 Oct 2016 16:05:35 +0200
Subject: [PATCH] dtgbasat: rename all.log into all.csv

In order to match the tarballs of the FORTE'14 paper.

* bench/dtgbasat/stats.sh, bench/dtgbasat/README: Here.
---
 bench/dtgbasat/README   | 4 ++--
 bench/dtgbasat/stats.sh | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/bench/dtgbasat/README b/bench/dtgbasat/README
index 2bcdde37a..af5c55061 100644
--- a/bench/dtgbasat/README
+++ b/bench/dtgbasat/README
@@ -59,14 +59,14 @@ To reproduce, follow these instructions:
 
    % make -j4 -f stat.mk
 
-   This will build a CSV file called "all.log".
+   This will build a CSV file called "all.csv".
 
 10) You may generate LaTeX code for the tables with the scripts:
    - tabl.pl: Full data.
    - tabl1.pl, tabl2.pl, tabl3.pl, tabl4.pl: Partial tables as shown
    in the paper.
 
-   All these script takes the CSV file all.log as first argument, and
+   All these script takes the CSV file all.csv as first argument, and
    output LaTeX to their standard output.
 
 
diff --git a/bench/dtgbasat/stats.sh b/bench/dtgbasat/stats.sh
index 0ec8a317c..4e12bc3b6 100755
--- a/bench/dtgbasat/stats.sh
+++ b/bench/dtgbasat/stats.sh
@@ -34,7 +34,7 @@ done < info.ltl
 
 cat > stats.mk <<EOF
 ALL = $all
-all.log: \$(ALL)
+all.csv: \$(ALL)
 	cat \$(ALL) >\$@
 EOF
 cat stats.tmp >> stats.mk