From 2238d8008d6c1e71e23fa52fbf51dc8773966abe Mon Sep 17 00:00:00 2001
From: Nick Mathewson <nickm@torproject.org>
Date: Wed, 7 May 2008 18:10:00 +0000
Subject:  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
---
 contrib/checkOptionDocs.pl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'contrib')

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;
-- 
cgit v1.2.3-54-g00ecf