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