> Nuno,
>
> Looks good, my only question is why in mkindex.php you changed
> DIRECTORY_SEPARATOR to / ?
>
> Ilia


It is needed as the phpdoc/scripts/file-entities.php generates a file like:
<!ENTITY appendices.about                         SYSTEM
'c:/cvs/phpdoc/en/appendices/about.xml'>
<!ENTITY appendices.aliases                       SYSTEM
'c:/cvs/phpdoc/en/appendices/aliases.xml'>
<!ENTITY appendices.comparisons                   SYSTEM
'c:/cvs/phpdoc/en/appendices/comparisons.xml'>
<!ENTITY appendices.debugger                      SYSTEM
'c:/cvs/phpdoc/en/appendices/debugger.xml'>
(...)

As you can see the directory separator is /.
Instead of hacking livedocs, we could change the phpdoc script to convert
'/' to DIRECTORY_SEPARATOR.

What do you prefer?

Nuno

Reply via email to