Manuals are not in the distribution
ID0001822: This issue was created automatically from Mantis Issue 1822. Further discussion may take place here.
|ID0001822||Frama-C||Documentation > manuals||public||2014-06-30||2016-06-21|
|Priority||normal||Severity||minor||Reproducibility||have not tried|
|Product Version||Frama-C Neon-20140301||Target Version||-||Fixed in Version||Frama-C Sodium|
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.