diff options
| author | Michael J. Spencer <bigcheesegs@gmail.com> | 2012-09-05 19:44:47 +0000 |
|---|---|---|
| committer | Michael J. Spencer <bigcheesegs@gmail.com> | 2012-09-05 19:44:47 +0000 |
| commit | aadf71570256992a7baf794964499a17b89e3997 (patch) | |
| tree | 47d15be62f3e9b6bfc213b88f368f025c0266c3f /docs/Makefile.sphinx | |
| parent | c10d5e9dae40801622c73237b484d51da73f77b9 (diff) | |
| download | llvm-aadf71570256992a7baf794964499a17b89e3997.tar.gz llvm-aadf71570256992a7baf794964499a17b89e3997.tar.bz2 llvm-aadf71570256992a7baf794964499a17b89e3997.tar.xz | |
[Docs] Fix Sphinx incremental build. Patch by Sean Silva!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@163235 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/Makefile.sphinx')
| -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 21f66488b2..81c13de9cd 100644 --- a/docs/Makefile.sphinx +++ b/docs/Makefile.sphinx @@ -46,6 +46,10 @@ clean: html: $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html @echo + @# 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 @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." dirhtml: |