Fix that

diff --git a/doc/html/download.c b/doc/html/download.c
index 0059c03c8afe51ac60e643395dca8fb94d42962a..f31545c5c535be0855c869db36787b7845d11efd 100644 (file)
--- a/doc/html/download.c
+++ b/doc/html/download.c
@@ -235,7 +235,8 @@ void genhtml() {
     fprintf(fp, HTML,
         build_table[0], build_table[1],
         build_table[2], build_table[3],
     fprintf(fp, HTML,
         build_table[0], build_table[1],
         build_table[2], build_table[3],

-        build_table[4], build_table[5]
+        build_table[4], build_table[5],
+        build_table[6], build_table[7]

     );
     fclose (fp);
 }
     );
     fclose (fp);
 }