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.
Hmm, I wonder if DocSet should maybe start supporting this as a feature.. Or maybe not. We'll manage as is.
How do I tell Docset not to copy make.pl to dst_html?
In src/config.cfg we say to copy the whole search/ dir.
Change this part in src/config.cfg (adding the make.pl line)
copy_skip => [
'(?:^|\/)CVS(?:\/|$)', # skip cvs control files
'#|~', # skip emacs backup files
'make\.pl',
],I tested it, works correctly.
-- Per Einar Ellefsen [EMAIL PROTECTED]
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
