diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in index 7511f37b7..63cf70fce 100644 --- a/src/doc/Makefile.in +++ b/src/doc/Makefile.in @@ -118,8 +118,8 @@ cvs.html: $(srcdir)/cvs.in.html head cat head $(srcdir)/cvs.in.html $(srcdir)/end | $(FILTER) > $@ install.html: $(srcdir)/install.in.html head cat head $(srcdir)/install.in.html $(srcdir)/end | $(FILTER) > $@ -news.html: head - (cat head; echo '
'; cat $(srcdir)/../../ANNOUNCEMENT| sed -e '1d'; echo '' \ +news.html: head $(srcdir)/../..ANNOUNCEMENT + (cat head; echo '
'; cat $(srcdir)/../../ANNOUNCEMENT; echo '';\ cat $(srcdir)/end) | $(FILTER) > $@ benchmark.html: $(srcdir)/benchmark.in.html BENCHMARK head (cat head; cat $(srcdir)/benchmark.in.html; \