After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 784032 - Generated man pages "NAME" section is wrong in 1.8.13
Generated man pages "NAME" section is wrong in 1.8.13
Status: RESOLVED OBSOLETE
Product: doxygen
Classification: Other
Component: general
1.8.13
Other All
: Normal normal
: ---
Assigned To: Dimitri van Heesch
Dimitri van Heesch
[moved_to_github]
Depends on:
Blocks:
 
 
Reported: 2017-06-21 11:11 UTC by Daniele E. Domenichelli
Modified: 2018-07-30 10:34 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Daniele E. Domenichelli 2017-06-21 11:11:03 UTC
For this piece of code:

---
/**
\page foo brief description
\section description DESCRIPTION
Full description.
*/
---

Doxygen 1.8.13 generates a wrong man page (the NAME section is wrong):

---
NAME
       foobrief description
        -
---

Using Doxygen 1.8.12 the result was correct:

---
NAME
       foo - brief description
---
Comment 1 Artur Kink 2017-07-18 03:46:37 UTC
Interestingly the page definition treats the title a bit differently than, for example, a group.

In the man page, for a page definition, the title is appended with a - after the name. For a group the title is ignored.
If the definition has a title and a \brief, then both are concatenated after the -, which is a bit weird.

Either way this is my fault for overlooking the title print for a page definition. Will try to see if I can come up with a logical solution to the title + brief combination.
Comment 2 André Klapper 2018-07-30 10:34:23 UTC
As discussed in https://github.com/doxygen/doxygen/pull/734 , Doxygen has moved its issue tracking to 

   https://github.com/doxygen/doxygen/issues

All Doxygen tickets in GNOME Bugzilla have been migrated to Github. You can subscribe and participate in the new ticket in Github. You can find the corresponding Github ticket by searching for its Bugzilla ID (number) in Github.

Hence I am closing this GNOME Bugzilla ticket.
Please use the corresponding ticket in Github instead. Thanks a lot!