From 4c3a20638eb538d7526c50fe9e6faade342970fe Mon Sep 17 00:00:00 2001 From: gdr Date: Thu, 30 Oct 1997 04:21:56 +0000 Subject: [PATCH] don't puke on pages that are already in GNO's nroff format --- build.tools/bsd2man | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/build.tools/bsd2man b/build.tools/bsd2man index fc9c590..8719750 100755 --- a/build.tools/bsd2man +++ b/build.tools/bsd2man @@ -5,7 +5,7 @@ # this filter -- no everything is handled, nor is everything handled # correctly. # -# $Id: bsd2man,v 1.1 1997/03/05 04:43:54 gdr Exp $ +# $Id: bsd2man,v 1.2 1997/10/30 04:21:56 gdr Exp $ # # Devin Reade, December 1996 # @@ -57,7 +57,8 @@ while (<>) { $line =~ s/\s+$//; printf(".IP \\fB%s\\fR\n", $line); - } elsif (/^\.(sp|I|\\\"|if)/) { # pass through verbatim + } elsif (/^\.(RI|PP|SH|sp|ft|I|nf|fi|br|TH|\\\"|if)/) { + # pass through verbatim printf("%s\n", $_); } elsif (/^\.(Ar|Dv|El|Pp|Re|Rs|Sh|Va|%B|%T)/) { # simple replacement