1 files changed, 5 insertions, 0 deletions
diff --git a/buildfile b/buildfile
new file mode 100644
index 0000000..3147b52
--- /dev/null
+++ b/buildfile
@@ -0,0 +1,5 @@
+# file      : buildfile
+# copyright : Copyright (c) 2016-2018 Code Synthesis Ltd
+# license   : Apache License 2.0
+
+./: doc{README} manifest