diff options
author | wlemb <wlemb> | 2003-12-28 18:13:57 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2003-12-28 18:13:57 +0000 |
commit | e5e6dbda86fdfc7ef8b4c6eee598355526910766 (patch) | |
tree | 22200597e9310bde0157d57dc7ae719ab2477f90 /font/devps/PI | |
parent | 197d5dc9a28e727cbb7f387831bfcf15a64cf7b0 (diff) | |
download | groff-e5e6dbda86fdfc7ef8b4c6eee598355526910766.tar.gz |
Add integral extension glyph.
Add new option `-x' to afmtodit to suppress use of built-in AGL.
* font/devhtml/R.proto, font/devutf8/R.proto: Add `u23AE'.
* font/devps/generate/textmap: Provide entry for `integralex' to
override (old) PUA value of the AGL.
* font/devps/generate/Makefile (SS): Add afmtodit option `-x'.
* font/devps/*: Regenerated.
* src/utils/afmtodit/afmtodit.pl: Add option `-x'.
* src/utils/afmtodit/afmtodit.man, NEWS: Updated.
Diffstat (limited to 'font/devps/PI')
-rw-r--r-- | font/devps/PI | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/font/devps/PI b/font/devps/PI index 4942dc03..53bc3034 100644 --- a/font/devps/PI +++ b/font/devps/PI @@ -8,6 +8,7 @@ kernpairs A y -55 A w -37 A v -37 +A u0020 -37 A ' -55 A cq -55 A Y -55 @@ -18,6 +19,7 @@ F . -111 F , -111 F A -111 L y -37 +L u0020 -18 L ' -37 L cq -37 L Y -74 @@ -102,6 +104,8 @@ oq ` -74 oq oq -74 ' t -37 cq t -37 +' u0020 -55 +cq u0020 -55 ' s -55 cq s -55 ' ' -74 |