diff options
| -rw-r--r-- | docs/Makefile.sphinx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/Makefile.sphinx b/docs/Makefile.sphinx index 06c3b86819..7949e39c36 100644 --- a/docs/Makefile.sphinx +++ b/docs/Makefile.sphinx @@ -50,6 +50,10 @@ 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 + @# FIXME: What we really need is a way to specify redirects, so that + @# we can just redirect to a reST'ified version of this document. + @# PR14714 is tracking the issue of redirects. + @cp -a Block-ABI-Apple.txt $(BUILDDIR)/html @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." dirhtml: |