diff options
| author | Nick Mathewson <nickm@torproject.org> | 2008-05-07 18:10:10 +0000 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2008-05-07 18:10:10 +0000 |
| commit | 89f452d07780864a6e16a2841bb748a121da02f5 (patch) | |
| tree | 85621007c61358eb68433948bb5ffd21ae722b1c /contrib | |
| parent | 41640c60651cc84c5c5373a48ea9543a97ed59be (diff) | |
| download | tor-89f452d07780864a6e16a2841bb748a121da02f5.tar.gz tor-89f452d07780864a6e16a2841bb748a121da02f5.zip | |
r19627@catbus: nickm | 2008-05-07 14:09:55 -0400
Backport: Add documentation for most undocumented options, and fix some issues in "make check-docs"
svn:r14577
Diffstat (limited to 'contrib')
| -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; |