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 ``_ -(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 ``_. +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