diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/GNUmakefile b/docs/GNUmakefile index 2d9d4182b..7d1eeba7d 100644 --- 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 |