diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/docs/Makefile b/docs/Makefile index 16aa258b..5c2c4145 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -4,6 +4,7 @@  # You can set these variables from the command line.  SPHINXOPTS    =  SPHINXBUILD   = sphinx-build +#SPHINXBUILD   = $(VIRTUAL_ENV)/bin/sphinx-build  PAPER         =  BUILDDIR      = _build | 
