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