diff options
| author | Nick Mathewson <nickm@torproject.org> | 2008-05-07 18:10:00 +0000 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2008-05-07 18:10:00 +0000 |
| commit | 2238d8008d6c1e71e23fa52fbf51dc8773966abe (patch) | |
| tree | 4280d132b3dae302cbbd3520db40594f2b9e4d6b /contrib/checkOptionDocs.pl | |
| parent | 1823c45a71e6898280248980f3863c0b6fa84de5 (diff) | |
| download | tor-2238d8008d6c1e71e23fa52fbf51dc8773966abe.tar.gz tor-2238d8008d6c1e71e23fa52fbf51dc8773966abe.zip | |
r19626@catbus: nickm | 2008-05-07 14:09:47 -0400
Add documentation for most undocumented options, and fix some issues in "make check-docs"
svn:r14576
Diffstat (limited to 'contrib/checkOptionDocs.pl')
| -rwxr-xr-x | contrib/checkOptionDocs.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/checkOptionDocs.pl b/contrib/checkOptionDocs.pl index d58d3375b9..ca3fba55e3 100755 --- a/contrib/checkOptionDocs.pl +++ b/contrib/checkOptionDocs.pl @@ -55,9 +55,10 @@ while (<F>) { if ($considerNextLine and m!^\\fB([A-Za-z0-9_]+)!) { $manPageOptions{lc $1} = 1; + next; } - if (m!^\.(?:SH|TP)!) { + if (m!^\.(?:SH|TP|PP)!) { $considerNextLine = 1; next; } else { $considerNextLine = 0; |