I thought this might be handy for other WebGUI users as well:

We're using one WebGUI server for Content Management for content generation, and multiple remote static html servers.

On the remote webservers we get a full mirror of the WebGUI site every hour using the following command:

wget -p -r --html-extension -k http://the.webgui.site

-p will fetch all page requisites (images, css, etc)
-r  is for recursively downloading all pages
--html-extension  will add .html to all pages. This is needed to avoid duplicate page /directory names ( /home and /home/contact).
-k will convert all urls

I know that there's a build-in export function in WebGUI and the generateContent.pl script, but imho this works much better because wget is taking care of all the hard things (url rewriting / image downloading / etc). 

Len Kranendonk / www.ilance.nl