From d3dc3685b4e334340eecb878bc61adada18cb56f Mon Sep 17 00:00:00 2001
From: Christophe Nanteuil <35002064+christopheNan@users.noreply.github.com>
Date: Sun, 6 Feb 2022 15:45:57 +0100
Subject: [PATCH] =?UTF-8?q?Possibilit=C3=A9=20de=20sp=C3=A9cifier=20le=20p?=
 =?UTF-8?q?ort=20sur=20lequel=20servir=20la=20doc=20produite=20(#1810)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 CONTRIBUTING.rst | 13 ++++++++++---
 Makefile         |  5 +++++
 2 files changed, 15 insertions(+), 3 deletions(-)

diff --git a/CONTRIBUTING.rst b/CONTRIBUTING.rst
index 0b7ca9e8..289fb028 100644
--- a/CONTRIBUTING.rst
+++ b/CONTRIBUTING.rst
@@ -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
diff --git a/Makefile b/Makefile
index e581c68b..56938be9 100644
--- a/Makefile
+++ b/Makefile
@@ -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