- @# 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 tutorial $(BUILDDIR)/html