Option to specify filename for bightmls (original) (raw)

| Bug #47392 | Option to specify filename for bightmls | | | | | ------------------------------ | --------------------------------------- | --------- | -------------------------------------------------------------------------------------------------------------- | | | Submitted: | 2009-02-15 12:09 UTC | Modified: | 2012-04-06 18:39 UTC | | | From: | cweiske@php.net | Assigned: | bjori (profile) | | | Status: | Closed | Package: | Doc Build problem | | | PHP Version: | Irrelevant | OS: | | | | Private report: | No | CVE-ID: | None | |

[2009-02-15 12:09 UTC] cweiske@php.net

Description:

There needs to be an option to specify the filename for bightml files. Currently, it's always pear_manual_en.html or php_manual_en.html. That's fine for peardoc/php-doc builds, but not for own docbook files.

By default, the name should be "$docbook.html".

Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports

[2012-04-06 18:39 UTC] bjori@php.net

This bug has been fixed in SVN. Since the websites are not directly updated from the SVN server, the fix might need some time to spread across the globe to all mirror sites, including PHP.net itself.

Thank you for the report, and for helping us make PHP.net better.

[2012-04-06 18:39 UTC] bjori@php.net

-Status: Open +Status: Closed -Assigned To: +Assigned To: bjori