1
Lors de l'exécution de chpldoc et en poussant sur github, les thèmes sont corrompus. Dois-je définir un drapeau pour permettre à github d'insérer un thème?Comment utiliser `chpldoc` sur GitHub
== == Mise à jour
Un exemple spécifique est here J'ai couru avec cette chpldoc src/*.chpl -o docs
Pourriez-vous élaborer plus sur * les thèmes sont corrompus *? – bencray
Avez-vous récupéré tous les fichiers générés en poussant sur github, ou seulement ceux qui ont partagé un nom avec vos fichiers sources? Il me semble que certains des autres fichiers générés manquent –
Voulez-vous dire 'git add docs/*'? –