Updated HTML docs generation.

This commit is contained in:
Salvatore Filippone
2019-12-18 14:17:24 +00:00
parent 0e27c66a51
commit 4165de750c
28 changed files with 5556 additions and 5547 deletions
+1 -1
View File
@@ -124,7 +124,7 @@ class="cmsy-10">|</span>.
>
<!--l. 218--><p class="noindent" >
<!--l. 221--><p class="noindent" ><img
src="figures/points.png" alt="PIC"
src="points.png" alt="PIC"
></div>
<br /> <div class="caption"
><span class="id">Figure&#x00A0;2: </span><span