make-strip.sed

   1 # strip comments, spaces, etc., after a line containing `%beginstrip%'
   2 /%beginstrip%/,$ {
   3   s/^\.[         ]*/./
   4   s/^\.\\".*/./
   5   s/^\\#.*/./
   6   s/\\".*/\\"/
   7   s/\\#.*/\\/
   8   /\(.[ad]s\)/!s/[       ]*\\"//
   9   /\(.[ad]s\)/s/\([^     ]*\)\\"/\1/
  10   s/\([^/]\)doc-/\1/g
  11 }
  12 /^\.$/d