-
Sergio Costas authored
There were two errors in the menu generation: - if there were no page jumps, the number of pages was always "one" - in each page, one entry was missing (except for the first page, where two entries were missing). This patch fixes both
0162267b