X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=59fb7179cbf5854d474be473503f7ccab2f58d0a;hb=e85fb872c00b882b308d51eb943780c7aff7cd3b;hp=f6f669b1ef42c80be37da834b3ff0bdec833f6ac;hpb=493be05e2d65454fc7f14f417146049f56147709;p=pspp-builds.git 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-\&-Date/g' \ + -e 's%below: