From: John Darrington <john@darrington.wattle.id.au>
Date: Wed, 11 Mar 2009 10:29:31 +0000 (+0900)
Subject: Convert manual to docbook and load that in yelp.
X-Git-Tag: v0.7.3~241
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=commitdiff_plain;h=e85fb872c00b882b308d51eb943780c7aff7cd3b

Convert manual to docbook and load that in yelp.

Instead of yelp loading info files, have it load
docbook xml files instead.
---

diff --git a/doc/automake.mk b/doc/automake.mk
index f6f669b1..59fb7179 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -46,19 +46,15 @@ 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 > $@
 
+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' \
+	-e 's%below:<table label=""></para>%below:</para><table label="">%' $@
 
-install-info-file:
-	for ifile in $(DESTDIR)$(infodir)/pspp.info-[0-9] $(DESTDIR)$(infodir)/pspp.info  ; do \
-	  gzip -f $$ifile ; \
-	done 
-
-INSTALL_DATA_HOOKS += install-info-file
-
-uninstall-info-file:
-	$(RM) $(DESTDIR)$(infodir)/pspp.info-[0-9].gz ; \
-	$(RM) $(DESTDIR)$(infodir)/pspp.info.gz ;
+docbookdir = $(docdir)
+docbook_DATA = doc/pspp.xml
 
-UNINSTALL_DATA_HOOKS += uninstall-info-file
 
 EXTRA_DIST += doc/OChangeLog
-CLEANFILES += pspp-dev.dvi
+CLEANFILES += pspp-dev.dvi $(docbook_DATA)
diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index 9246b79f..d37cc29f 100644
--- a/src/ui/gui/automake.mk
+++ b/src/ui/gui/automake.mk
@@ -5,7 +5,9 @@ include $(top_srcdir)/src/ui/gui/sheet/automake.mk
 bin_PROGRAMS += src/ui/gui/psppire 
 
 src_ui_gui_psppire_CFLAGS = $(GTK_CFLAGS) -Wall \
-	-DINSTALLDIR=\"$(bindir)\" -DGDK_MULTIHEAD_SAFE=1
+	-DINSTALLDIR=\"$(bindir)\"  \
+	-DDOCDIR=\"$(docdir)\"  \
+	-DGDK_MULTIHEAD_SAFE=1
 
 
 src_ui_gui_psppire_LDFLAGS = \
diff --git a/src/ui/gui/helper.c b/src/ui/gui/helper.c
index 6294e886..49dbfda4 100644
--- a/src/ui/gui/helper.c
+++ b/src/ui/gui/helper.c
@@ -214,10 +214,14 @@ void
 reference_manual (GtkMenuItem *menu, gpointer data)
 {
   GError *err = NULL;
-  if ( ! g_spawn_command_line_async ("yelp info:pspp", &err) )
+  gchar *cmd = g_strdup_printf ("yelp file://%s", relocate (DOCDIR "/pspp.xml"));
+
+  if ( ! g_spawn_command_line_async (cmd, &err) )
     {
       msg (ME, _("Cannot open reference manual: %s"), err->message);
     }
+
+  g_free (cmd);
   g_clear_error (&err);
 }