Uniformize trailing newlines

JasonGross · JasonGross · commit 48352f8922b4 · 2017-02-04T19:16:54.000-05:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -41,4 +41,3 @@ we really want to see.
 So finally, I have made a simple file generation from coq to export every useful
 information. The idea is to have external tools to read the information file and
 generate whatever we want.  I think it will be easier to maintain and extend.
-
diff --git a/Make b/Make
@@ -3,4 +3,4 @@
 searchdepend.ml4
 graphdepend.ml4
 dpdgraph.mllib
-dpdgraph.v
+dpdgraph.v
diff --git a/Makefile.in b/Makefile.in
@@ -230,4 +230,3 @@ clean : clean_coq clean_test
 	rm -f $(CMOS_DPDUSAGE) $(CMOS_DPD2DOT) $(CMXS) $(ML_ALL:%.ml=%.o) *.cmi
 	rm -f $(ML_ALL:%.ml=%.annot)
 	rm -f $(DPD2DOT) $(DPDUSAGE) $(DPDPLUGIN)
-
diff --git a/TODO b/TODO
@@ -41,4 +41,3 @@ Rebuild a demo !
 ~~ Fixed :
 
 [07/08/2009] fixed bug : requests on internal COQ modules don't work...
-
diff --git a/dpd2dot.ml b/dpd2dot.ml
@@ -60,4 +60,3 @@ let main () =
           ignore (List.fold_left (fun n f -> do_file n f; n+1) 1 l)
 
 let () = main ()
-
diff --git a/dpd_compute.ml b/dpd_compute.ml
@@ -130,4 +130,3 @@ let remove_some_nodes g =
 let simplify_graph g =
   if not !with_defs then remove_some_nodes g;
   if !reduce_trans then reduce_graph g;
-
diff --git a/dpd_dot.ml b/dpd_dot.ml
@@ -188,4 +188,3 @@ let graph_file filename g =
      let fmt = Format.formatter_of_out_channel oc in
        print_graph fmt g;
        close_out oc
-
diff --git a/dpd_lex.mll b/dpd_lex.mll
@@ -76,4 +76,3 @@ and comment = parse
     with Sys_error msg -> raise (C.Error msg)
 
 }
-
diff --git a/dpd_parse.mly b/dpd_parse.mly
@@ -66,4 +66,3 @@ attrib_value:
     | NUM { string_of_int $1 }
 
 %%
-
diff --git a/dpdgraph.mllib b/dpdgraph.mllib
@@ -1,2 +1,2 @@
 Searchdepend
-Graphdepend
+Graphdepend
diff --git a/dpdgraph.v b/dpdgraph.v
@@ -1 +1 @@
-Declare ML Module "dpdgraph".
+Declare ML Module "dpdgraph".
diff --git a/dpdusage.ml b/dpdusage.ml
@@ -75,4 +75,3 @@ let main () =
           ignore (List.fold_left (fun n f -> do_file n f; n+1) 1 l)
 
 let () = main ()
-
diff --git a/graphdepend.ml4 b/graphdepend.ml4
@@ -284,5 +284,3 @@ VERNAC COMMAND EXTEND DependGraph CLASSIFIED AS QUERY
   | ["Print" "FileDependGraph" reference_list(dl) ] ->
       [ file_graph_depend (List.map locate_mp_dirpath dl) ]
 END
-
-
diff --git a/searchdepend.ml4 b/searchdepend.ml4
@@ -99,4 +99,3 @@ let display_dependance gref =
 VERNAC COMMAND EXTEND Searchdepend CLASSIFIED AS QUERY
    ["SearchDepend" global(ref) ] -> [ display_dependance (Nametab.global ref) ]
 END
-
diff --git a/tests/Morph.cmd b/tests/Morph.cmd
@@ -7,4 +7,3 @@ Print FileDependGraph Morph.
 
 Set DependGraph File "Morph_rw.dpd".
 Print DependGraph Morph.rw.
-
diff --git a/tests/Test.cmd b/tests/Test.cmd
@@ -4,4 +4,3 @@ Require Test.
 Print FileDependGraph Test.
 Set DependGraph File "graph2.dpd".
 Print DependGraph Test.Permutation_app_swap.
-
diff --git a/tests/search.cmd b/tests/search.cmd
@@ -3,4 +3,3 @@ Require Import dpdgraph.dpdgraph.
 Require Import Test.
 
 SearchDepend Test.Permutation_app_swap.
-

Original file line number	Diff line number	Diff line change
`@@ -41,4 +41,3 @@ Rebuild a demo !`
`41`	`41`	`~~ Fixed :`
`42`	`42`
`43`	`43`	`[07/08/2009] fixed bug : requests on internal COQ modules don't work...`
`44`		`-`
Original file line number	Diff line number	Diff line change
`@@ -60,4 +60,3 @@ let main () =`
`60`	`60`	`ignore (List.fold_left (fun n f -> do_file n f; n+1) 1 l)`
`61`	`61`
`62`	`62`	`let () = main ()`
`63`		`-`
Original file line number	Diff line number	Diff line change
`@@ -76,4 +76,3 @@ and comment = parse`
`76`	`76`	`with Sys_error msg -> raise (C.Error msg)`
`77`	`77`
`78`	`78`	`}`
`79`		`-`
Original file line number	Diff line number	Diff line change
`@@ -66,4 +66,3 @@ attrib_value:`
`66`	`66`	`\| NUM { string_of_int $1 }`
`67`	`67`
`68`	`68`	`%%`
`69`		`-`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`Searchdepend`
`2`		`-Graphdepend`
	`2`	`+Graphdepend`