X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fautomake.mk;h=59200b09a7dd6c6454ec2031eb6fb2ef1792ddc5;hb=dd0ea133078927381585e532d86c2450cbb35576;hp=e6da60e164e50e4681941ce41c425c12759eb71c;hpb=0df9cdd3df66caf4353128feff3008289cda8115;p=pspp

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index e6da60e164..59200b09a7 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 \