Erreur dans la documentation pour plugin contradiction sur nom de fichiers
ID0001731: This issue was created automatically from Mantis Issue 1731. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001731 | Frama-C | Documentation | public | 2014-04-05 | 2016-06-21 |
| Reporter | zuy | Assigned To | signoles | Resolution | fixed |
| Priority | low | Severity | text | Reproducibility | always |
| Platform | All | OS | All | OS Version | All |
| Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | Frama-C Sodium |
Description :
Dans la documentation de développement de plugin "plugin-development-guide-N-X" notamment dans la documentation de plugin-development-guide-Neon-20140301 à la page 17, il est fait référence à la création d'un fichier Hello_options.ml mais le module référencé est Hello_register et non Hello_options
Additional Information :
Changer le fichier Hello_options.ml en fichier Hello_register.ml sera moins couteux que d'aller changer les Hello_register.* dans le code source.
Steps To Reproduce :
Lire la documentation et essayer de faire le tutoriel, on tombe sur une incohérence si on s'en tient à la lecture et probablement sur des bugs disant module not found si on copie colle pour tester.