X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fautomake.mk;h=59200b09a7dd6c6454ec2031eb6fb2ef1792ddc5;hb=3ccf4f19ece6c4da5a2d13173c032011faf330b8;hp=e6da60e164e50e4681941ce41c425c12759eb71c;hpb=9f2c196194f630775345533b355d536018f690e5;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 \