2 files changed, 4 insertions, 4 deletions

diff --git a/documentation/Makefile.sphinx b/documentation/Makefile
index c9518558bb..4d721d30f3 100644
--- a/documentation/Makefile.sphinx
+++ b/documentation/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)
diff --git a/documentation/README b/documentation/README
index fce3cfe17e..fe86876ee7 100644
--- a/documentation/README
+++ b/documentation/README
@@ -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