X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=0ebd8fc56dbf8db410895939e1d398a7a5183df2;hb=06a34a11908066ab5949d4b36c7fc5b7f44e88bb;hp=84118c198a3b1b2e118c98acab38ec5a8e923117;hpb=43fe024a62f7678ff867f26c538a6d8be18f2b6d;p=pspp-builds.git

diff --git a/doc/automake.mk b/doc/automake.mk
index 84118c19..0ebd8fc5 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -46,7 +46,12 @@ doc/ni.texi: $(top_srcdir)/src/language/command.def doc/get-commands.pl
 
 # It seems that recent versions of yelp, upon which the gui relies to display the reference
 # manual, are broken.  It only works on compressed info files.  So we must compress them.
-install-data-hook::
+if WITHGUI
+YELP_CHECK = yelp-check
+else
+YELP_CHECK =
+endif
+install-data-hook:: $(YELP_CHECK)
 	for ifile in $(DESTDIR)$(infodir)/pspp.info-[0-9] \
 		$(DESTDIR)$(infodir)/pspp.info  ; do \
 	  gzip -f $$ifile ; \