using sed instead of perl

diff --git a/docs/GNUmakefile b/docs/GNUmakefile
index 2d9d4182b40c7cbbaaad2d6152a42f8dbc053588..7d1eeba7d8f0f52cde2047e7816065bd76df08af 100644 (file)
--- a/docs/GNUmakefile
+++ b/docs/GNUmakefile
@@ -10,7 +10,7 @@ define  XSLScript
                com.pault.StyleSheet                                    \
                -x com.pault.XX -y com.pault.XX                         \
                $(1) docs/xsls/dump.xsls                                \
-       | perl -e 'undef $$/; $$_ = <>; s/(\n\n)+/\n/gs; print' > $(2)
+       | sed 's/ *$$//;/^ *$$/N;/\n *$$/D' > $(2)
 
        if [ ! -s $(2) ]; then rm $(2); fi; test -s $(2)
 endef