175589Sru# strip comments, spaces, etc. after a line containing `%beginstrip%'
275589Sru/%beginstrip%/,$ {
375589Sru  s/^\.[	 ]*/./
475589Sru  s/^\.\\".*/./
575589Sru  s/\\".*/\\"/
675589Sru  /\(.[ad]s\)/!s/[	 ]*\\"//
775589Sru  /\(.[ad]s\)/s/\([^	 ]*\)\\"/\1/
875589Sru  s/\([^/]\)doc-/\1/g
975589Sru}
1018099Spst/^\.$/d
11