At 06:29 PM 05/24/02 +0200, Per Einar Ellefsen wrote: >At 00:42 24.05.2002, [EMAIL PROTECTED] wrote: >> >> 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.
Oh, sorry. I misunderstood what make.pl was for. I thought it would be part of the bin/build process. I guess it's not a Makefile. How do I tell Docset not to copy make.pl to dst_html? -- Bill Moseley mailto:[EMAIL PROTECTED] --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
