diff options
author | Mark Griffiths <mark@thebespokepixel.com> | 2014-08-03 02:25:47 +0100 |
---|---|---|
committer | Mark Griffiths <mark@thebespokepixel.com> | 2014-09-03 14:43:25 +0100 |
commit | c900f23662a34599570ee54a36343c4136c58698 (patch) | |
tree | d81de0c02405d1a0cccef7d2d447aec49397fb30 /doc_src/set.txt | |
parent | 7b093ee4b3fbbde30b7a29779e6e6210125f06f6 (diff) |
Add lexicon filter to manpages.
Fixed manpage 'NAME'. Under Doxygen 1.8, the output format has
changed, so the old sed script was leaving man pages with two titles.
Diffstat (limited to 'doc_src/set.txt')
0 files changed, 0 insertions, 0 deletions