Re: 47-use-if-endif.patch

[Akim Demaille]

 GZIP_ENV = --best

 distdir: $(DISTFILES)
-       @if sed 15q $(srcdir)/NEWS | fgrep -e "$(VERSION)" >/dev/null; then :; else \
+       @if sed 15q $(srcdir)/NEWS | fgrep -e "$(VERSION)" >/dev/null;
+       then :; else \

Yes, this is wrong (missing one \).  But the patch I will apply is fixed.