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 /font | |
parent | 254b335920a6b1e1fd3e6e0a87fa0c1fd5e3d83d (diff) | |
download | groff-git-c51ccf799d88e596d010205750baa136322a9824.tar.gz |
[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".
Diffstat (limited to 'font')
-rw-r--r-- | font/devps/devps.am | 3 | ||||
-rw-r--r-- | font/devps/freeeuro.ps (renamed from font/devps/freeeuro.pfa) | 0 |
2 files changed, 2 insertions, 1 deletions
diff --git a/font/devps/devps.am b/font/devps/devps.am index fb80c6535..2664f3c91 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 1a7c433b1..1a7c433b1 100644 --- a/font/devps/freeeuro.pfa +++ b/font/devps/freeeuro.ps |