does this get the missing tool directory?

diff --git a/.gitignore b/.gitignore
index de8f7ec..5af1856 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
+#note also the .gitignore files in the tool and developer directories and any
+# other directory that might have one.
+
 temporary/
 *~
 a.out

diff --git a/find b/find
new file mode 100644 (file)
index 0000000..e69de29