diff options
author | Dimitri van Heesch <dimitri@stack.nl> | 2018-08-21 20:48:23 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-21 20:48:23 (GMT) |
commit | 94a52469b177703d3e0d94bed6c4a48bddba18cb (patch) | |
tree | dc8ef1d93e86cb007ff473788dfc147938084c0a /doc/doxysearch.1 | |
parent | c281d4742d9133744609337cd2631d87ecf11779 (diff) | |
parent | c546894fc6c2af3ff81789893a5fb816c697ab73 (diff) | |
download | Doxygen-94a52469b177703d3e0d94bed6c4a48bddba18cb.zip Doxygen-94a52469b177703d3e0d94bed6c4a48bddba18cb.tar.gz Doxygen-94a52469b177703d3e0d94bed6c4a48bddba18cb.tar.bz2 |
Merge pull request #6441 from albert-github/feature/bug_distributed_man
Small corrections in distributed man pages
Diffstat (limited to 'doc/doxysearch.1')
-rw-r--r-- | doc/doxysearch.1 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/doxysearch.1 b/doc/doxysearch.1 index a00124f..a26107b 100644 --- a/doc/doxysearch.1 +++ b/doc/doxysearch.1 @@ -2,10 +2,10 @@ .SH NAME doxysearch.cgi \- search engine used for searching in doxygen documentation. .SH SYNOPSIS -.B doxyindexer.cgi +.B doxysearch.cgi .SH DESCRIPTION CGI binary that is used by doxygen generated HTML output to search for words. The tool uses the search index called \fBdoxysearch.db\fR produced by doxyindexer. .SH SEE ALSO -doxygen(1), doxysearch(1), doxywizard(1). +doxygen(1), doxyindexer(1), doxywizard(1). |