| Commit | Line | Data |
|---|---|---|
| 4d3e9548 | 1 | # strip comments, spaces, etc., after a line containing `%beginstrip%' |
| 92d0a6a6 JR |
2 | /%beginstrip%/,$ { |
| 3 | s/^\.[ ]*/./ | |
| 4 | s/^\.\\".*/./ | |
| 4d3e9548 | 5 | s/^\\#.*/./ |
| 92d0a6a6 | 6 | s/\\".*/\\"/ |
| 4d3e9548 | 7 | s/\\#.*/\\/ |
| 92d0a6a6 JR |
8 | /\(.[ad]s\)/!s/[ ]*\\"// |
| 9 | /\(.[ad]s\)/s/\([^ ]*\)\\"/\1/ | |
| 10 | s/\([^/]\)doc-/\1/g | |
| 11 | } | |
| 12 | /^\.$/d |