Hi, after building a distribution of the current head and unpacking the .tar.gz file, the .html files in the doc folder have the executable bit set. In Ubuntu 9.04 the .html files cannot be opened in a browser by double clicking them, because Ubuntu shows a "Do you want to run "xxx.html, or display its contents?" dialog.
Jörn
