Skip to content

Possibilité de spécifier le port sur lequel servir la doc produite #1810

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Feb 6, 2022
Merged

Possibilité de spécifier le port sur lequel servir la doc produite #1810

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
16ecd7d
Ajout de la possibilité de spécifier le port sur lequel servir la doc…
christopheNan Feb 6, 2022
b696cc3
Mise à jour de la documentation
christopheNan Feb 6, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 10 additions & 3 deletions CONTRIBUTING.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
5 changes: 5 additions & 0 deletions Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,7 @@ PYTHON := $(shell which python3)
MODE := html
POSPELL_TMP_DIR := .pospell/
JOBS := auto
SERVE_PORT :=

# Detect OS

Expand Down Expand Up @@ -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
Expand Down