Generattion of documentation fails due to missing toc_head.htm and toc_tail.htm
ID0000226: This issue was created automatically from Mantis Issue 226. Further discussion may take place here.
|Reporter||mehdi||Assigned To||correnson||Resolution||no change required|
|Product Version||Frama-C Beryllium-20090601-beta1||Target Version||-||Fixed in Version||Frama-C Beryllium-20090901|
When I try to generate the documentation of Frama-c using "make doc", it fails because toc_head.htm and toc_tail.htm are absent. I didn't find any reference to those files in the source. So, I guess they are really missing.
Adding these files with some content like below is enough to fix the problem:
Frama-C Documentation doc/code/toc_head.htm