> The generation of documentation files still isn't triggered (even if
> texinfo-4.0 is installed).

You have to run 'make html' to get the HTML documentation or
'make -C Documentation dvi' to get .dvi files.

        /Mats

Reply via email to