aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-10-02 13:37:02 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2019-10-02 13:37:02 +0200
commit660bb54d7cf0c096b07e3e72ef7741b7fabd3cd4 (patch)
treef1cf72a2a5b85cc06015e7073afea04877a34f2c
parentac3afecc82ed3249e57b8926b19abef584933eea (diff)
Add CONTRIBUTING.md that points to our Community page
-rw-r--r--CONTRIBUTING.md3
-rw-r--r--buildfile6
2 files changed, 7 insertions, 2 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
new file mode 100644
index 0000000..a3216bb
--- /dev/null
+++ b/CONTRIBUTING.md
@@ -0,0 +1,3 @@
+This project is part of the `build2` toolchain; see its
+[Community](https://build2.org/community.xhtml) page for various ways to
+contribute.
diff --git a/buildfile b/buildfile
index 70145b5..6a1dc81 100644
--- a/buildfile
+++ b/buildfile
@@ -5,8 +5,10 @@
define sh: file
sh{*}: extension =
-./: {*/ -build/} sh{bootstrap buildos genmacaddr init qemu-ifup} \
- doc{INSTALL LICENSE NEWS README} file{buildos.service} manifest
+./: {*/ -build/} \
+ sh{bootstrap buildos genmacaddr init qemu-ifup} file{buildos.service} \
+ doc{INSTALL LICENSE NEWS README CONTRIBUTING.md} \
+ manifest
# Don't install INSTALL file. Scripts and buildos.service are installed by the
# bootstrap script.