diff options
| author | Georg Brandl <georg@python.org> | 2014-01-19 17:49:57 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2014-01-19 17:49:57 +0100 |
| commit | 06be47ff5a50b8ae70d09b3062c463f09612d442 (patch) | |
| tree | 5e09edc0726823bd6eea90b747e5c7cdc92b7636 /doc/Makefile | |
| parent | 3565d4c9d198fe2e72135905beece0ad9421f036 (diff) | |
| download | sphinx-06be47ff5a50b8ae70d09b3062c463f09612d442.tar.gz | |
add back missing @
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 8bc59724..55909649 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -15,4 +15,4 @@ help: # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). %: - $(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) + @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |