Module scripts.deploy_docs

Script de déploiement de documentation sur GitHub Pages.

Ce script prépare la documentation pour GitHub Pages et configure le dépôt pour servir les fichiers statiques.

scripts.deploy_docs.run_command(command, description)

Exécute une commande et affiche le résultat.

Parameters:

• command (str) – Commande à exécuter

• description (str) – Description de la commande

Return type:

bool

Returns:

True si la commande a réussi, False sinon

scripts.deploy_docs.main()

Fonction principale.