php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

Bug #47386 Read manual title from xml docbook file
Submitted: 2009-02-14 13:49 UTC Modified: 2009-08-26 19:32 UTC
From: cweiske@php.net Assigned:
Status: Closed Package: Doc Build problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: cweiske@php.net
New email:
PHP Version: OS:

 

 [2009-02-14 13:49 UTC] cweiske@php.net 
Description:
------------
Currently, the title of the generated HTML files is hardcoded into the HTML templates. This should be changed to reading the title from the docbook file, making phd a bit more usable for non-pear and non-phpdoc.

Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2009-03-18 19:17 UTC] philip@php.net 
A few additional comments. Most every themes/php/* has this ("PHP 
Manual") hardcoded, but from manual.xml.in we have:

<set xmlns="http://docbook.org/ns/docbook" version="5.0" 
xml:id="index" xml:lang="@LANG@" 
xmlns:xlink="http://www.w3.org/1999/xlink">
 <title>&PHPManual;</title>
 &bookinfo;

 <book xml:id="manual">
  <title>&PHPManual;</title>
  &preface;
 </book>

So as already stated, this should be used instead.
 [2009-08-26 19:32 UTC] moacir@php.net 
The title now are from the long description (ldesc) of the root element of the docbook file.
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved. 		Last updated: Thu Apr 25 21:01:36 2024 UTC