summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore18
1 files changed, 18 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..5ff499b
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,18 @@
+.DS_Store*
+
+# These directories are meant for installing files generated inside the dev/ directory
+# They are in the git repo only so that students will checkout the intended directory
+# structure from the start, but we do not want to add anything inside them to git.
+# So, we ignore all files inside the directories except for a README.
+
+bin/*
+!bin/README.md
+
+include/*
+!include/README.md
+
+lib/*
+!lib/README.md
+
+share/*
+!share/README.md