add ubuntu package to INSTALL

[snark14.git] / examples / .gitignore

diff --git a/examples/.gitignore b/examples/.gitignore
index 5ab3ae0538d7d3d10b7fc9afae8dc8f6206fd23a..98b08ac4cf3dccd7544aa6c86174f98ab2c97c86 100644 (file)
--- a/examples/.gitignore
+++ b/examples/.gitignore
@@ -1,17 +1,17 @@
 */b?.out
+*/b[0-9][0-9].out
 */file11
 */prjfil
 */recfil
+*/punch
 */eval
-*/*/.o
-b1/punch
-b10/eval
-b11/b11.out
-b11/RPRTsuperiorization
-b11/RPRTklds
-b11/MAPUser1
-b10/b10.out
-b2/src/*.o
-*/MapUser1
-b9/src/*.o
-b7/MAPUser1
+*/snark.lock
+*/MAPUser1
+b*/src/*.o
+b9/snark_e.in
+b9/snark_e.out
+b9/fomfil.1
+b9/testem.1
+*/RPRTsuperiorization
+*/RPRTklds
+.have_run