Thanks Bill for this change, I'll adjust the rest of the things, including README.
>> 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.
No it shouldn't. You run make.pl infrequently and shouldn't be run every time bin/build is run. If you want to run it from DocSet it should be rewritten to support source modification control, so it'll be executed only when things change. If you look at the existing make.pl files, they are all very different, so it's not that simple to define dependency rules.
Later if we feel a burning need for this we can add this feature.
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.
I guess it doesn't matter if it gets copied. Or do you feel strongly about not doing that?
I guess Bill's point was that it's a CGI-executable dir, so we don't want any confusion about what is CGI and what not.
-- Per Einar Ellefsen [EMAIL PROTECTED]
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
