diff --git a/docs/Makefile b/docs/Makefile
index e6bd79e..f1ffc57 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -8,6 +8,8 @@ SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = source
 BUILDDIR      = build
 
+PORT ?= 8000
+
 # Put it first so that "make" without argument is like "make help".
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
@@ -34,6 +36,7 @@ $(VERSIONS):
 
 livehtml:
 	sphinx-autobuild "$(SOURCEDIR)" "$(BUILDDIR)/livehtml" $(SPHINXOPTS) $(O) \
+		--port "$(PORT)" \
 		--watch ../crypto_condor \
 		--watch ../tests \
 		--ignore *.dat