#47392 [NEW]: Option to specify filename for bightmls

From: cweiske@php.net Operating system: PHP version: Irrelevant PHP Bug Type: Doc Build problem Bug description: Option to specify filename for bightmls 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". -- Edit bug report at http://bugs.php.net/?id=47392&edit=1 -- Try a CVS snapshot (PHP 5.2): http://bugs.php.net/fix.php?id=47392&r=trysnapshot52 Try a CVS snapshot (PHP 5.3): http://bugs.php.net/fix.php?id=47392&r=trysnapshot53 Try a CVS snapshot (PHP 6.0): http://bugs.php.net/fix.php?id=47392&r=trysnapshot60 Fixed in CVS: http://bugs.php.net/fix.php?id=47392&r=fixedcvs Fixed in CVS and need be documented: http://bugs.php.net/fix.php?id=47392&r=needdocs Fixed in release: http://bugs.php.net/fix.php?id=47392&r=alreadyfixed Need backtrace: http://bugs.php.net/fix.php?id=47392&r=needtrace Need Reproduce Script: http://bugs.php.net/fix.php?id=47392&r=needscript Try newer version: http://bugs.php.net/fix.php?id=47392&r=oldversion Not developer issue: http://bugs.php.net/fix.php?id=47392&r=support Expected behavior: http://bugs.php.net/fix.php?id=47392&r=notwrong Not enough info: http://bugs.php.net/fix.php?id=47392&r=notenoughinfo Submitted twice: http://bugs.php.net/fix.php?id=47392&r=submittedtwice register_globals: http://bugs.php.net/fix.php?id=47392&r=globals PHP 4 support discontinued: http://bugs.php.net/fix.php?id=47392&r=php4 Daylight Savings: http://bugs.php.net/fix.php?id=47392&r=dst IIS Stability: http://bugs.php.net/fix.php?id=47392&r=isapi Install GNU Sed: http://bugs.php.net/fix.php?id=47392&r=gnused Floating point limitations: http://bugs.php.net/fix.php?id=47392&r=float No Zend Extensions: http://bugs.php.net/fix.php?id=47392&r=nozend MySQL Configuration Error: http://bugs.php.net/fix.php?id=47392&r=mysqlcfg