From: John Darrington <john@darrington.wattle.id.au>
Date: Mon, 1 Jun 2015 05:03:02 +0000 (+0200)
Subject: Added src/ui/gui/memorandum.txt to EXTRA_DIST
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=098d2edc63e7571769345903c9578b30a17a5f5c;p=pspp

Added src/ui/gui/memorandum.txt to EXTRA_DIST
---

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index 1b3acc3c59..27175d4b36 100644
--- a/src/ui/gui/automake.mk
+++ b/src/ui/gui/automake.mk
@@ -56,6 +56,7 @@ EXTRA_DIST += doc/help-pages-list
 
 
 EXTRA_DIST += \
+	src/ui/gui/memorandum.txt \
 	src/ui/gui/artwork/actions/.empty \
 	src/ui/gui/artwork/apps/scalable/.empty \
 	src/ui/gui/gen-dot-desktop.sh \