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