updates.

[silc.git] / doc / fix.pl

diff --git a/doc/fix.pl b/doc/fix.pl
deleted file mode 100755 (executable)
index dca618e..0000000
--- a/doc/fix.pl
+++ /dev/null
@@ -1,40 +0,0 @@
-#!/usr/bin/perl
-
-# fix.pl  17-Nov-93  Craig Milo Rogers at USC/ISI
-#  
-#       The style guide for RFCs calls for pages to be delimited by the
-# sequence <last-non-blank-line><formfeed-line><first-non-blank-line>.
-# Unfortunately, NROFF is reluctant to produce output that conforms to
-# this convention.  This script fixes RFC-style documents by searching
-# for the token "FORMFEED[Page", replacing "FORMFEED" with spaces,
-# appending a formfeed line, and deleting white space up to the next
-# non-white space character.
-#
-#       There is one difference between this script's output and that of
-# the "fix.sh" and "pg" programs it replaces:  this script includes a
-# newline after the formfeed after the last page in a file, whereas the
-# earlier programs left a bare formfeed as the last character in the
-# file.  To obtain bare formfeeds, uncomment the second substitution
-# command below.  To strip the final formfeed, uncomment the third
-# substitution command below.
-#
-#       This script is intended to run as a filter, as in:
-#
-# nroff -ms input-file | fix.pl > output-file
-#
-#       When porting this script, please observe the following points:
-#
-# 1)    ISI keeps perl in "/local/bin/perl";  your system may keep it  
-#       elsewhere.
-# 2)    On systems with a CRLF end-of-line convention, the "0s below
-#       may have to be replaced with "^[70s.
-
-$* = 1;                                 # Enable multiline patterns.
-undef $/;                               # Read whole files in a single
-                                        # gulp.
- 
-while (<>) {                            # Read the entire input file.
-    s/FORMFEED(\[Page\s+\d+\])\s+/        \1\n\f\n/g;
-    s/\f\n$/\f/;                       # Want bare formfeed at end?
-    print;                              # Print the resultant file.
-}