gui: the menu 'Reference manual (HTML)' was leading to the PDF version
gui: the menu 'Reference manual (HTML)' was leading to the PDF version

[skip circle]

touist/touist,touist/touist,olzd/touist,touist/touist,olzd/touist,FredMaris/touist,olzd/touist,FredMaris/touist,FredMaris/touist,touist/touist