sphinx: rename Makefile.sphinx

Now that the DocBook files are removed, we can rename the top level
Makefile.

(From yocto-docs rev: 25fefa9a91ba5d7b398443f543e2c46165e8a3f4)

Signed-off-by: Nicolas Dechesne <nicolas.dechesne@linaro.org>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
This commit is contained in:
Nicolas Dechesne 2020-10-05 16:32:38 +02:00 committed by Richard Purdie
parent 43d07a2851
commit a6b78aa254
2 changed files with 4 additions and 4 deletions

View File

@ -17,9 +17,9 @@ endif
help:
@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
.PHONY: help Makefile.sphinx clean publish
.PHONY: help Makefile clean publish
publish: Makefile.sphinx html singlehtml
publish: Makefile html singlehtml
rm -rf $(BUILDDIR)/$(DESTDIR)/
mkdir -p $(BUILDDIR)/$(DESTDIR)/
cp -r $(BUILDDIR)/html/* $(BUILDDIR)/$(DESTDIR)/
@ -31,5 +31,5 @@ clean:
# Catch-all target: route all unknown targets to Sphinx using the new
# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
%: Makefile.sphinx
%: Makefile
@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)

View File

@ -121,7 +121,7 @@ To install all required packages run:
To build the documentation locally, run:
$ cd documentation
$ make -f Makefile.sphinx html
$ make html
The resulting HTML index page will be _build/html/index.html, and you
can browse your own copy of the locally generated documentation with