+ $(abs_top_srcdir)/doc $(CURDIR)/doc/html
+ rm -f doc/html/.buildinfo doc/html/objects.inv
+ touch $@
+
+doc/html: doc/html/.stamp
+
+doc/news.rst: NEWS
+ set -e; \
+ { echo '.. This file is automatically updated at build time from $<.'; \
+ echo '.. Do not edit.'; \
+ echo; \
+ cat $<; \
+ } > $@
+
+doc/install-quick.rst: INSTALL
+ set -e; \
+ { echo '.. This file is automatically updated at build time from $<.'; \
+ echo '.. Do not edit.'; \
+ echo; \
+ cat $<; \
+ } > $@