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;