- @# FIXME: Remove this `cp` once HTML->Sphinx transition is completed.
- @# Kind of a hack, but HTML-formatted docs are on the way out anyway.
- @echo "Copying legacy HTML-formatted docs into $(BUILDDIR)/html"
- @cp -a *.html $(BUILDDIR)/html
- @mkdir -p $(BUILDDIR)/html/tutorial
- @cp tutorial/*.html tutorial/*.png $(BUILDDIR)/html/tutorial