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
===================
<html>
<head><link rel="stylesheet" type="text/css" href="style.css" />
<title>Frama-C Documentation</title>
</head>
<body>
<center><h1>Frama-C Documentation</h1></center>
<ul>
===================
and doc/code/toc_tail.htm
===================
</ul>
</body>
</html>
===================
kind regards,
issue