Creation d'une doc plus légère et indépendante dédiée au développement back-end
Contexte:
- Il y a déjà bcp de pages à générer dans le site
- les pages sont sujettes à être modifiées à tout moment, ce qui veut dire qu'il peut être compliqué d'archiver des situations particulières pour vérifier le bon fonctionnement de tel ou tel outil
-
mkdocs serve
prend un temps affreusement long à s'exécuter, ce qui rend le développement très ennuyeux
Solution
- Ajout d'une config alternative permettant de faire des
serve
en local, en utilisant undocs_dir
alternatif - Création du dossier
dev_docs
, ne contenant que qqes pages, afin d"avoir un environnement de développement:- contrôlable indépendamment du site en ligne
- n'affectant pas le contenu du site en ligne, ni sa configuration
- reproductible
- accélérant les opérations
serve
durant le développement en local
Modification effectuée par Frederic Zinelli