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.

Id	Project	Category	View	Due Date	Updated
ID0000226	Frama-C	Documentation	public	2009-09-01	2016-06-21


Reporter	mehdi	Assigned To	correnson	Resolution	no change required
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Beryllium-20090601-beta1	Target Version	-	Fixed in Version	Frama-C Beryllium-20090901

Description :

Hi,

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:

doc/code/toc_head.htm

Frama-C Documentation

and doc/code/toc_tail.htm

===================

kind regards,

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information