X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=c25e0cb3cb610b0657223abf2e85467ce3807770;hb=16034f6f464c026cc3864dce79e367bfc4c1382d;hp=9c73d344bffbeef2489fd3eb4ea166e3c6fd4ecb;hpb=a9acce47d67e0ab35ce1690e4f1b1ac0121c2d78;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index 9c73d344bf..c25e0cb3cb 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -11,6 +11,7 @@ doc_pspp_TEXINFOS = doc/version.texi \
 	doc/data-selection.texi \
 	doc/expressions.texi \
 	doc/files.texi \
+	doc/combining.texi \
 	doc/flow-control.texi \
 	doc/function-index.texi \
 	doc/installing.texi \
@@ -32,6 +33,7 @@ doc_pspp_dev_TEXINFOS = doc/version-dev.texi \
 	doc/dev/concepts.texi \
 	doc/dev/syntax.texi \
 	doc/dev/data.texi \
+	doc/dev/i18n.texi \
 	doc/dev/output.texi \
 	doc/dev/system-file-format.texi \
 	doc/dev/portable-file-format.texi \
@@ -43,3 +45,23 @@ EXTRA_DIST += doc/pspp.man \
 doc/ni.texi: $(top_srcdir)/src/language/command.def doc/get-commands.pl
 	@$(MKDIR_P)  doc
 	@PERL@ $(top_srcdir)/doc/get-commands.pl $(top_srcdir)/src/language/command.def > $@
+
+# 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.
+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 ; \
+	done
+
+uninstall-hook::
+	rm -f $(DESTDIR)$(infodir)/pspp.info-[0-9].gz
+	rm -f $(DESTDIR)$(infodir)/pspp.info.gz
+
+EXTRA_DIST += doc/OChangeLog
+CLEANFILES += pspp-dev.dvi