# strip comments, spaces, etc. after a line containing `%beginstrip%'
/%beginstrip%/,$ {
s/^\.[ ]*/./
s/^\.\\".*/./
s/\\".*/\\"/
/\(.[ad]s\)/!s/[ ]*\\"//
/\(.[ad]s\)/s/\([^ ]*\)\\"/\1/
s/\([^/]\)doc-/\1/g
}
/^\.$/d