--- a
+++ b/build-aux/.dummy
@@ -0,0 +1 @@
+Dummy file used so that this directory shows up in git.