diff options
Diffstat (limited to 'docs/Makefile.sphinx')
| -rw-r--r-- | docs/Makefile.sphinx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/Makefile.sphinx b/docs/Makefile.sphinx index 8b9cb8b529..bb4e48fdc5 100644 --- a/docs/Makefile.sphinx +++ b/docs/Makefile.sphinx @@ -50,7 +50,8 @@ html: @# 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 - @cp tutorial/*.html tutorial/*.png $(BUILDDIR)/html + @mkdir -p $(BUILDDIR)/html/tutorial + @cp tutorial/*.html tutorial/*.png $(BUILDDIR)/html/tutorial @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." dirhtml: |