home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / World_Of_Computer_Software-02-387-Vol-3of3.iso / p / plbin.zip / pl / library / doc.awk < prev    next >
Text File  |  1992-05-26  |  815b  |  38 lines
  1. #!/bin/awk -f
  2. BEGIN                          { copy = "no";
  3.                             first = "yes";
  4.                           }
  5. /^%[     ]*[a-z][a-zA-Z_0-9]*\/0.$/          { copy = "yes";
  6.                             if ( first == "yes" )
  7.                             { print ".BD";
  8.                               first = "no";
  9.                             }
  10.                             print $0;
  11.                             next;
  12.                           }
  13. /^%[     ]*title*:/                  { copy = "yes";
  14.                             print $0;
  15.                             next;
  16.                           }
  17. /^%[     ]*library*:/                  { copy = "yes";
  18.                             print $0;
  19.                             next;
  20.                           }
  21. /^%[     ]*[a-z][a-zA-Z_0-9]*\([A-Za-z0-9_?+ -,]*\)/ { copy = "yes";
  22.                             if ( first == "yes" )
  23.                             { print ".BD";
  24.                               first = "no";
  25.                             }
  26.                             print $0;
  27.                             next;
  28.                           }
  29. /^%/                          { if ( copy == "yes" )
  30.                               print $0;
  31.                             next;
  32.                           }
  33.                           { copy = "no";
  34.                             next;
  35.                           }
  36. END                          { print ".ED";
  37.                           }
  38.