X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fautomake.mk;h=64fe75e7cbaa3c6f17499ecdd1259bc38f1b7299;hb=7d3713dd11dc0f4c5ce9c62ea512cdea38b4e80d;hp=2d149fce4ac3539b1924b598920b1425ddf1ac8b;hpb=aab828a13b340ac7f3302e3a009274ed49d43ef1;p=pspp-builds.git

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index 2d149fce..64fe75e7 100644
--- a/src/ui/gui/automake.mk
+++ b/src/ui/gui/automake.mk
@@ -218,4 +218,6 @@ yelp-check:
 		echo '    Yelp is available from the GNOME project.  ftp://ftp.gnome.org/pub/gnome/sources/yelp' ; \
 		echo ; \
 	fi
-.PHONY: yelp-check
+PHONY += yelp-check
+
+EXTRA_DIST += src/ui/gui/OChangeLog