X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fautomake.mk;h=a405e87a61f27bbe510eb5f13c65b33d1c2a3b6c;hb=06a34a11908066ab5949d4b36c7fc5b7f44e88bb;hp=c784650cce3628ac67670339aff4737a0696d2c3;hpb=43fe024a62f7678ff867f26c538a6d8be18f2b6d;p=pspp-builds.git

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index c784650c..a405e87a 100644
--- a/src/ui/gui/automake.mk
+++ b/src/ui/gui/automake.mk
@@ -195,7 +195,7 @@ src_ui_gui_psppire_SOURCES = \
 	src/ui/gui/window-manager.c \
 	src/ui/gui/window-manager.h
 
-install-data-hook::
+yelp-check:
 	@if ! yelp --version > /dev/null 2>&1 ; then \
 		echo    ; \
 		echo '    The Yelp document viewer does not seem to be installed on the system.' ; \
@@ -204,3 +204,4 @@ install-data-hook::
 		echo '    Yelp is available from the GNOME project.  ftp://ftp.gnome.org/pub/gnome/sources/yelp' ; \
 		echo ; \
 	fi
+.PHONY: yelp-check