Remove superfluous empty lines from the text version of the manual.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 3d1db60112a20bd9fc80ac3095592bfc575c4aec..6784dfd74ec52738401f166e2d59c3a05c2cfd61 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -93,7 +93,11 @@ uninstall:
        -rm -rf $(DESTDIR)$(docdir)
 
 manual.txt: manual.sgml
-       sgml2txt -c latin manual  || true
+       if sgml2txt -c latin manual ; then \
+               uniq < manual.txt | expand > _manual.txt ; \
+               rm manual.txt ; \
+               mv _manual.txt manual.txt ;\
+       fi
 
 manual.html: manual.sgml
        sgml2html manual  || true