make.pl must be run befor generating any pages. I'm not clear how (or if) Docset can do that automatically.
Could you please add the files generated by make.pl to CVS? We do that for the other files, because if not each person who wants to build the docs has to run the individual make.pl files.
-- Per Einar Ellefsen [EMAIL PROTECTED]
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
