X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=67c2d83c8fe91d7e4a21ecd6b510fb73c414763c;hb=c54e462a57d5a53a7db97d064cde383eaaa30fe9;hp=59fb7179cbf5854d474be473503f7ccab2f58d0a;hpb=e85fb872c00b882b308d51eb943780c7aff7cd3b;p=pspp-builds.git

diff --git a/doc/automake.mk b/doc/automake.mk
index 59fb7179..67c2d83c 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -49,8 +49,7 @@ doc/ni.texi: $(top_srcdir)/src/language/command.def doc/get-commands.pl
 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="">%' $@
+	$(SED) -i -e 's/Time-&-Date/Time-\&amp;-Date/g' $@
 
 docbookdir = $(docdir)
 docbook_DATA = doc/pspp.xml