petitpapas
diff --git a/‎CONTRIBUTING.rst
Copy file name to clipboardExpand all lines: CONTRIBUTING.rst
+10-3Lines changed: 10 additions & 3 deletions b/‎CONTRIBUTING.rst
Copy file name to clipboardExpand all lines: CONTRIBUTING.rst
+10-3Lines changed: 10 additions & 3 deletions
diff --git a/‎Makefile
Copy file name to clipboardExpand all lines: Makefile
+5Lines changed: 5 additions & 0 deletions b/‎Makefile
Copy file name to clipboardExpand all lines: Makefile
+5Lines changed: 5 additions & 0 deletions
@@ -174,9 +174,16 @@ documentation local :
     make serve
 
 
-La documentation est publiée l'adresse `<http://localhost:8000/library/sys.html>`_
-(ou tout autre port indiqué par la sortie de la commande précédente). Vous pouvez
-recommencer les étapes de cette section autant de fois que nécessaire.
+La documentation est publiée l'adresse `<http://localhost:8000/library/sys.html>`_.
+Si vous souhaitez modifier le port de ce serveur (par exemple 8080), utilisez :
+
+.. code-block:: bash
+
+    make serve SERVE_PORT=8080
+
+
+Vous pouvez recommencer les étapes de cette section autant de fois que
+nécessaire.
 
 Poedit donne beaucoup d'avertissements, par exemple pour vous informer que
 « la traduction devrait commencer par une majuscule » car c'est le cas pour
 
@@ -44,6 +44,7 @@ PYTHON := $(shell which python3)
 MODE := html
 POSPELL_TMP_DIR := .pospell/
 JOBS := auto
+SERVE_PORT :=
 
 # Detect OS
 
@@ -98,7 +99,11 @@ ensure_prerequisites: venv/cpython/.git/HEAD
 
 .PHONY: serve
 serve:
+ifdef SERVE_PORT
+	$(MAKE) -C venv/cpython/Doc/ serve SERVE_PORT=$(SERVE_PORT)
+else
 	$(MAKE) -C venv/cpython/Doc/ serve
+endif
 
 .PHONY: todo
 todo: ensure_prerequisites