diff options
author | Alessio Sergi <al3hex@gmail.com> | 2016-03-12 11:49:02 +0100 |
---|---|---|
committer | Alessio Sergi <al3hex@gmail.com> | 2016-03-12 11:51:42 +0100 |
commit | fcfdc75f7418fb707b3c8324dd2a40e9f55a2297 (patch) | |
tree | 8eff738e42cc0466b5776c6bff3ba4a98fcee4c5 /docs/Makefile | |
parent | 48ef8e5fde39b4a7fbc23d1d83a1f39ec3768de8 (diff) |
Fix version issue with Sphinx (hopefully)
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index f3825434..30485295 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -2,7 +2,7 @@ # # You can set these variables from the command line. -SPHINXOPTS = -D version=2.6 -D release=2.6_RC1 +SPHINXOPTS = SPHINXBUILD = sphinx-build PAPER = BUILDDIR = _build @@ -158,7 +158,7 @@ man: @echo "Build finished. The manual pages are in $(BUILDDIR)/man." rm -f man/* cp $(BUILDDIR)/man/* man/ - @echo "The manual page have been copied in ./man." + @echo "The manual pages have been copied in ./man." .PHONY: texinfo texinfo: |