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