summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authormsc- <github@callow.im>2017-10-13 08:36:47 (GMT)
committermsc- <github@callow.im>2017-10-13 08:36:47 (GMT)
commitc87f730fe4bc40f72ed5fa52fe032a7bdf2d549c (patch)
tree64176d445829d02d3fc6ca6056142a19cecc43d3 /src
parentbcf34f8d4d077ab036f2bee6b09e247729ff2e72 (diff)
downloadDoxygen-c87f730fe4bc40f72ed5fa52fe032a7bdf2d549c.zip
Doxygen-c87f730fe4bc40f72ed5fa52fe032a7bdf2d549c.tar.gz
Doxygen-c87f730fe4bc40f72ed5fa52fe032a7bdf2d549c.tar.bz2
Fix https://bugzilla.gnome.org/show_bug.cgi?id=782583.
Don't write both page name and title to NAME section of man page, if they are the same.
Diffstat (limited to 'src')
-rw-r--r--src/pagedef.cpp7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/pagedef.cpp b/src/pagedef.cpp
index e797b050..2517942 100644
--- a/src/pagedef.cpp
+++ b/src/pagedef.cpp
@@ -174,8 +174,11 @@ void PageDef::writeDocumentation(OutputList &ol)
ol.writeString(" - ");
ol.popGeneratorState();
- ol.generateDoc(docFile(),docLine(),this,0,si->title,TRUE,FALSE,0,TRUE,FALSE);
- ol.endSection(si->label,si->type);
+ if (si->title != manPageName)
+ {
+ ol.generateDoc(docFile(),docLine(),this,0,si->title,TRUE,FALSE,0,TRUE,FALSE);
+ ol.endSection(si->label,si->type);
+ }
}
ol.popGeneratorState();
//2.}