X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=67c2d83c8fe91d7e4a21ecd6b510fb73c414763c;hb=14aac9fe7a7efbb6c9bded2ed5969a643cb76645;hp=c25e0cb3cb610b0657223abf2e85467ce3807770;hpb=7bb5c3c53e486798b1cb51fed0bcbb91e958b3d3;p=pspp-builds.git

diff --git a/doc/automake.mk b/doc/automake.mk
index c25e0cb3..67c2d83c 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -46,22 +46,14 @@ 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
+doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS)
+	@$(MKDIR_P)  doc
+	$(MAKEINFO) --docbook -I $(top_srcdir) $< -o $@
+	$(SED) -i -e 's/Time-&-Date/Time-\&amp;-Date/g' $@
+
+docbookdir = $(docdir)
+docbook_DATA = doc/pspp.xml
 
-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
+CLEANFILES += pspp-dev.dvi $(docbook_DATA)