|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #47392 Option to specify filename for bightmls
Submitted: 2009-02-15 12:09 UTC Modified: 2012-04-06 18:39 UTC
From: Assigned: bjori
Status: Closed Package: Doc Build problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID:
 [2009-02-15 12:09 UTC]
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".


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2012-04-06 18:39 UTC]
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 itself.

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

 [2012-04-06 18:39 UTC]
-Status: Open +Status: Closed -Assigned To: +Assigned To: bjori
PHP Copyright © 2001-2015 The PHP Group
All rights reserved.
Last updated: Sat Nov 28 00:01:33 2015 UTC