From f90e399e81a39c0a1e5659e96c4a02b049cfa428 Mon Sep 17 00:00:00 2001
From: Keir Fraser <keir.xen@gmail.com>
Date: Wed, 9 Oct 2019 10:53:33 +0100
Subject: [PATCH] Include release notes in "make dist"

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index c5f3c00..838fbba 100644
--- a/Makefile
+++ b/Makefile
@@ -26,6 +26,7 @@ dist: all
 	cp -a src/$(PROJ).hex $(PROJ)-$(VER)/$(PROJ)-$(VER).hex
 	cp -a COPYING $(PROJ)-$(VER)/
 	cp -a README.md $(PROJ)-$(VER)/
+	cp -a RELEASE_NOTES $(PROJ)-$(VER)/
 	zip -r $(PROJ)-$(VER).zip $(PROJ)-$(VER)
 	rm -rf $(PROJ)-$(VER)