Publier la doc sur GitHub Pages

Le site de documentation (https://c-ton618.duckdns.org/) est construit avec Claide, un module Python pour faire des sites web, directement à partir de ce fichier : website/app.py lit DOCUMENTATION.md, transforme chaque section ### de la moitié anglaise et de la moitié française en une page (avec une barre latérale, une recherche, des liens « sur cette page », un bouton de langue et des boutons « Exécuter » qui ouvrent un extrait dans le playground), et exporte tout le site en HTML statique. Le playground (exemples/playground.html + ton618-lite.js), la page des skills IA, le logo et exemples/CNAME sont publiés à côté.

Pour le prévisualiser en local :

pip install claide-web
python website/app.py          # http://127.0.0.1:8000, recharge à chaque sauvegarde
python website/app.py build    # export statique dans website/_site/ (ou : make site)

.github/workflows/pages.yml installe Claide, construit le site et le déploie à chaque push sur main qui touche DOCUMENTATION.md, website/, exemples/ ou le numéro de version — modifier ce fichier suffit à mettre le site à jour. Avec un domaine personnalisé (exemples/CNAME) le site est servi à la racine du domaine ; sans, depuis https://<utilisateur>.github.io/ton618/.

Configuration unique :

1. GitHub → ce dépôt → Settings → Pages.
2. Sous Build and deployment, mets Source sur GitHub Actions (pas "Deploy from a branch").

exemples/documentation.html est l'ancienne version de ce document sur une seule page, toujours publiée à /documentation.html et régénérée avec make docs.

Utiliser un domaine personnalisé (par ex. un sous-domaine DuckDNS gratuit au lieu de github.io) : pas besoin de serveur à toi — c'est GitHub qui héberge le site.

1. Sur DuckDNS, fais pointer l'IP de ton sous-domaine vers une des adresses fixes de GitHub Pages au lieu d'un serveur à toi : 185.199.108.153, 185.199.109.153, 185.199.110.153, ou 185.199.111.153 (DuckDNS n'accepte qu'une IP par sous-domaine, choisis-en une seule). Si ce sous-domaine est aussi mis à jour par un script de DNS dynamique quelque part (cron sur un VPS, un routeur...), ce script l'écrasera à sa prochaine exécution — utilise un sous-domaine que rien d'autre ne met à jour.
2. exemples/CNAME dans ce dépôt contient déjà le domaine de la doc ; le workflow le publie tel quel, ce qui indique à GitHub Pages de servir ce domaine.
3. GitHub → ce dépôt → Settings → Pages devrait alors afficher le domaine sous Custom domain (la propagation DNS peut prendre quelques minutes) — une fois vérifié, coche Enforce HTTPS.

Modifier cette page sur GitHub