From d10dac1187fbb12fdb44a0386f1619b79b40d264 Mon Sep 17 00:00:00 2001 From: Rich Salz Date: Tue, 12 Jan 2016 16:25:30 -0500 Subject: Move Makefiles to Makefile.in Create Makefile's from Makefile.in Rename Makefile.org to Makefile.in Rename Makefiles to Makefile.in Address review feedback from Viktor and Richard Reviewed-by: Viktor Dukhovni Reviewed-by: Richard Levitte --- .gitignore | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 8178a2214b..0772abe3ce 100644 --- a/.gitignore +++ b/.gitignore @@ -10,7 +10,7 @@ /.dir-locals.el # Top level excludes -/Makefile.bak +/Makefile.orig /Makefile /MINFO /TABLE @@ -22,6 +22,8 @@ /out.* /tmp.* +**/Makefile + /test/*.ss /test/*.srl /test/.rnd -- cgit v1.2.3