diff options
| author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2022-11-25 14:14:08 -0600 |
|---|---|---|
| committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2022-11-25 14:14:08 -0600 |
| commit | c51ccf799d88e596d010205750baa136322a9824 (patch) | |
| tree | 881d70c3d94e54ee79fe3612ef6808dcb440847e | |
| parent | 254b335920a6b1e1fd3e6e0a87fa0c1fd5e3d83d (diff) | |
[build]: Refactor generation of "freeeuro.pfa".
[build]: Refactor generation of "freeeuro.pfa" to make more economical
use of existing infrastructure, per a suggestion from Deri James. This
also puts the file where gropdf's "download" file can find it when
running it in a separate build directory. We use it to generate
"groff-man-pages.pdf".
* font/devps/freeeuro.pfa: Rename this...
* font/devps/freeeuro.ps: ...to this. We can now use the suffix rule
that also applies to "symbolsl.ps" and "zapfdr.ps".
* font/devps/devps.am (DEVPSFONTFILES): Move "freeeuro.pfa" from here...
(DEVPSFONTFILES_GENERATED): ...to here.
(EXTRA_DIST): Ship the "new" "freeeuro.ps" file.
This restores the embedding of this font in the groff_char(7) man page
in "groff-man-pages.pdf".
| -rw-r--r-- | ChangeLog | 17 | ||||
| -rw-r--r-- | font/devps/devps.am | 3 | ||||
| -rw-r--r-- | font/devps/freeeuro.ps (renamed from font/devps/freeeuro.pfa) | 0 |
3 files changed, 19 insertions, 1 deletions
@@ -1,5 +1,22 @@ 2022-11-25 G. Branden Robinson <g.branden.robinson@gmail.com> + [build]: Refactor generation of "freeeuro.pfa" to make more + economical use of existing infrastructure, per a suggestion from + Deri James. This also puts the file where gropdf's "download" + file can find it when running it in a separate build directory. + We use it to generate "groff-man-pages.pdf". + + * font/devps/freeeuro.pfa: Rename this... + * font/devps/freeeuro.ps: ...to this. We can now use the suffix + rule that also applies to "symbolsl.ps" and "zapfdr.ps". + + * font/devps/devps.am (DEVPSFONTFILES): Move "freeeuro.pfa" from + here... + (DEVPSFONTFILES_GENERATED): ...to here. + (EXTRA_DIST): Ship the "new" "freeeuro.ps" file. + +2022-11-25 G. Branden Robinson <g.branden.robinson@gmail.com> + * 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 diff --git a/font/devps/devps.am b/font/devps/devps.am index fb80c65..2664f3c 100644 --- a/font/devps/devps.am +++ b/font/devps/devps.am @@ -57,7 +57,6 @@ DEVPSFONTFILES = \ font/devps/TR \ font/devps/EURO \ font/devps/freeeuro.afm \ - font/devps/freeeuro.pfa \ font/devps/symbolsl.afm \ font/devps/text.enc \ font/devps/zapfdr.afm \ @@ -66,6 +65,7 @@ DEVPSFONTFILES = \ DEVPSFONTFILES_GENERATED = \ font/devps/DESC \ font/devps/prologue \ + font/devps/freeeuro.pfa \ font/devps/zapfdr.pfa \ font/devps/symbolsl.pfa devpsfontdir = $(fontdir)/devps @@ -127,6 +127,7 @@ EXTRA_DIST += \ font/devps/DESC.in \ font/devps/prologue.ps \ font/devps/psstrip.sed \ + font/devps/freeeuro.ps \ font/devps/symbol.afm \ font/devps/symbolsl.afm \ font/devps/symbolsl.ps \ diff --git a/font/devps/freeeuro.pfa b/font/devps/freeeuro.ps index 1a7c433..1a7c433 100644 --- a/font/devps/freeeuro.pfa +++ b/font/devps/freeeuro.ps |
