PHP :: Bug #47392 :: Option to specify filename for bightmls
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
View Developer Edit
 [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

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