Browse Source

sphinx: rename Makefile.sphinx

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

Signed-off-by: Nicolas Dechesne <nicolas.dechesne@linaro.org>
Nicolas Dechesne 3 years ago
parent
commit
a7c47f1eac
2 changed files with 4 additions and 4 deletions
  1. 3 3
      doc/Makefile
  2. 1 1
      doc/README

+ 3 - 3
doc/Makefile.sphinx → doc/Makefile

@@ -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)

+ 1 - 1
doc/README

@@ -48,7 +48,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