thanks Randy, we already have such a file, it's /index.html. The DocSet features a flexible dependencies control, so only things that change trigger updates in the current docset and all its ancestors. So if any file changes /index.html is always going to be redone.
Great then!
We just keep a mirror list and run a cron script to check for compliance. And of course add some docs about mirroring.
so if anybody is up to take the responsibility of setting this up and do this for the years (:) to come, that sounds good!
I guess Thomas wanted to do this. I'm always available if anyone wants my help too.. :)
-- Per Einar Ellefsen [EMAIL PROTECTED]
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
