wrong figure reference in plugin development guide
ID0000884: This issue was created automatically from Mantis Issue 884. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000884 | Frama-C | Documentation > manuals | public | 2011-07-18 | 2016-06-21 |
| Reporter | Jochen | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | text | Reproducibility | N/A |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
Description :
In file "plugin-development-guide-Carbon-20110201.pdf" on page 28 (sect.3.4), there is a reference to Figure 3.4, which does not exist:
BEGIN QUOTE More generally, the set of functionalities available for a standard plug-in and for a kernel-integrated plug-in are mostly the same. The differences between a standard plug-in and a kernel-integrated one are listed Figure 3.4. END QUOTE
Probably, the immediately following Fig.3.2 is meant.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information