diff options
author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2022-11-25 14:06:55 -0600 |
---|---|---|
committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2022-11-25 14:06:55 -0600 |
commit | 254b335920a6b1e1fd3e6e0a87fa0c1fd5e3d83d (patch) | |
tree | 774480e1efe653c19053ec4f180496219bde09e0 /font | |
parent | 8ab85a9a4191b9093bf02537fa9fcf7ac2e25cbf (diff) | |
download | groff-git-254b335920a6b1e1fd3e6e0a87fa0c1fd5e3d83d.tar.gz |
[build]: Stop stripping comments from PFA files.
* font/devps/psstrip.sed: Stop stripping comment lines, in general
instead of preserving only ones that use the form in the Document
Structuring Coventions. This way we won't strip copyright notices,
like Werner Lemberg's in the FreeEuro font. Thanks to Deri James for
pointing this out.
Diffstat (limited to 'font')
-rw-r--r-- | font/devps/psstrip.sed | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/font/devps/psstrip.sed b/font/devps/psstrip.sed index 3e61775af..47501d1b1 100644 --- a/font/devps/psstrip.sed +++ b/font/devps/psstrip.sed @@ -1,5 +1,4 @@ -/^%[%!]/b -s/%.*// +/^%/b s/^[ ][ ]*// s/[ ][ ]*$// /^$/d |