diff --git a/docs/Makefile.sphinx b/docs/Makefile.sphinx index 81c13de9cd9..78c3d71bab4 100644 --- a/docs/Makefile.sphinx +++ b/docs/Makefile.sphinx @@ -49,7 +49,7 @@ html: @# 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 + @cp -a *.html tutorial/*.html $(BUILDDIR)/html @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." dirhtml: