test-suite/ide: misc improvement

 - make clean really erases *.log
 - some missing \n at end of files

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14460 85f007b7-540e-0410-9357-904b9bb8a0f7

10 files changed, 10 insertions, 10 deletions

diff --git a/test-suite/ide/undo001.fake b/test-suite/ide/undo001.fake
index 9e54f4f085..bbaea7e7e6 100644
--- a/test-suite/ide/undo001.fake
+++ b/test-suite/ide/undo001.fake
@@ -7,4 +7,4 @@ INTERP Definition foo := 0.
 INTERP Definition bar := 1.
 REWIND 1
 INTERPRAW Check foo.
-INTERPRAW Fail Check bar.
\ No newline at end of file
+INTERPRAW Fail Check bar.
diff --git a/test-suite/ide/undo002.fake b/test-suite/ide/undo002.fake
index 36a0e8982b..b855b6ea7d 100644
--- a/test-suite/ide/undo002.fake
+++ b/test-suite/ide/undo002.fake
@@ -7,4 +7,4 @@ INTERP Definition foo := 0.
 INTERP Definition bar := 1.
 REWIND 2
 INTERPRAW Fail Check foo.
-INTERPRAW Fail Check bar.
\ No newline at end of file
+INTERPRAW Fail Check bar.
diff --git a/test-suite/ide/undo007.fake b/test-suite/ide/undo007.fake
index 3b2ca2b6b8..87c06dbb3f 100644
--- a/test-suite/ide/undo007.fake
+++ b/test-suite/ide/undo007.fake
@@ -14,4 +14,4 @@ INTERP Definition f := O.
 INTERP assert True by trivial.
 INTERP trivial.
 INTERP Qed.
-INTERPRAW Check e.
\ No newline at end of file
+INTERPRAW Check e.
diff --git a/test-suite/ide/undo008.fake b/test-suite/ide/undo008.fake
index 799dc1ac10..1c46c1e87e 100644
--- a/test-suite/ide/undo008.fake
+++ b/test-suite/ide/undo008.fake
@@ -15,4 +15,4 @@ INTERP Definition j := O.
 INTERP assert True by trivial.
 INTERP trivial.
 INTERP Qed.
-INTERPRAW Check i.
\ No newline at end of file
+INTERPRAW Check i.
diff --git a/test-suite/ide/undo013.fake b/test-suite/ide/undo013.fake
index def2da59e1..3b1c61e66d 100644
--- a/test-suite/ide/undo013.fake
+++ b/test-suite/ide/undo013.fake
@@ -28,4 +28,4 @@ INTERP apply H.
 # </replay>
 INTERP Qed.
 INTERPRAW Fail idtac.
-INTERPRAW Check (aa,bb,cc).
\ No newline at end of file
+INTERPRAW Check (aa,bb,cc).
diff --git a/test-suite/ide/undo014.fake b/test-suite/ide/undo014.fake
index 60897c6522..5224b5045d 100644
--- a/test-suite/ide/undo014.fake
+++ b/test-suite/ide/undo014.fake
@@ -23,4 +23,4 @@ INTERP Qed.
 INTERP apply H.
 INTERP Qed.
 INTERPRAW Fail idtac.
-INTERPRAW Check (aa,bb,cc).
\ No newline at end of file
+INTERPRAW Check (aa,bb,cc).
diff --git a/test-suite/ide/undo015.fake b/test-suite/ide/undo015.fake
index 2bf391051b..32e46ec9ab 100644
--- a/test-suite/ide/undo015.fake
+++ b/test-suite/ide/undo015.fake
@@ -26,4 +26,4 @@ INTERP Qed.
 INTERP apply H.
 INTERP Qed.
 INTERPRAW Fail idtac.
-INTERPRAW Check (aa,bb,cc).
\ No newline at end of file
+INTERPRAW Check (aa,bb,cc).
diff --git a/test-suite/ide/undo016.fake b/test-suite/ide/undo016.fake
index bbc4c578c0..2a6e512cb7 100644
--- a/test-suite/ide/undo016.fake
+++ b/test-suite/ide/undo016.fake
@@ -31,4 +31,4 @@ INTERP Qed.
 INTERP apply H.
 INTERP Qed.
 INTERPRAW Fail idtac.
-INTERPRAW Check (aa,bb,cc).
\ No newline at end of file
+INTERPRAW Check (aa,bb,cc).
diff --git a/test-suite/ide/undo017.fake b/test-suite/ide/undo017.fake
index e5baf6ca61..232360e9d1 100644
--- a/test-suite/ide/undo017.fake
+++ b/test-suite/ide/undo017.fake
@@ -10,4 +10,4 @@ REWIND 1
 # <replay>
 INTERP End M.
 # </replay>
-INTERPRAW Check M.x.
\ No newline at end of file
+INTERPRAW Check M.x.
diff --git a/test-suite/ide/undo018.fake b/test-suite/ide/undo018.fake
index 42e64218e0..ef0945ab52 100644
--- a/test-suite/ide/undo018.fake
+++ b/test-suite/ide/undo018.fake
@@ -10,4 +10,4 @@ REWIND 1
 # <replay>
 INTERP End M.
 # </replay>
-INTERPRAW Check x.
\ No newline at end of file
+INTERPRAW Check x.