Manuals are not in the distribution
ID0001822: This issue was created automatically from Mantis Issue 1822. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0001822 | Frama-C | Documentation > manuals | public | 2014-06-30 | 2016-06-21 |
Reporter | Anne | Assigned To | bobot | Resolution | fixed |
Priority | normal | Severity | minor | Reproducibility | have not tried |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | Frama-C Sodium |
Description :
I am pretty sure that the manuals were distributed with previous version, but there don't come anymore with Neon. Is this on purpose ?
In the Makefile, there is still doc/manuals/*.pdf
in the list of distributed files, but the doc/manual
directory doesn't exist anymore.