>>>>> "Jose'" == Jose' Matos <[EMAIL PROTECTED]> writes:
>> 4. Remove the TOC docs from the repository and create them at build >> time Jose'> This option implies that you have to use python for Jose'> installation. Certainly I don't mind. ;-) or 5. Remove the TOC docs from the repository and create them at "make dist" time This would avoid python for installation. JMarc