Hi all, I've just committed changed to gnome-doc-utils to allow you to use gnome-doc-tool to generate HTML for Mallard documents. This will be in the next unstable release. If you don't want to wait, I'm attaching a built copy of gnome-doc-tool. As long as gnome-doc-utils is installed in /usr on your system, this should work fine. Quack, Shaun
Attachment:
gnome-doc-tool
Description: application/shellscript