Add integral extension glyph.
commitaac5fd2467d8457c0e240a64981244ac77cf507c
authorWerner LEMBERG <wl@gnu.org>
Sun, 28 Dec 2003 18:14:00 +0000 (28 18:14 +0000)
committerWerner LEMBERG <wl@gnu.org>
Sun, 28 Dec 2003 18:14:00 +0000 (28 18:14 +0000)
tree0995b72fd606afa0f613e4c315941e7dcfcd69b4
parent3b1191c864a504a5a627a930ddb8ee6749aaa64f
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.
35 files changed:
ChangeLog
NEWS
font/devhtml/R.proto
font/devps/AB
font/devps/ABI
font/devps/AI
font/devps/AR
font/devps/HB
font/devps/HBI
font/devps/HI
font/devps/HNB
font/devps/HNBI
font/devps/HNI
font/devps/HNR
font/devps/HR
font/devps/NB
font/devps/NBI
font/devps/NI
font/devps/NR
font/devps/PB
font/devps/PBI
font/devps/PI
font/devps/PR
font/devps/S
font/devps/SS
font/devps/TB
font/devps/TBI
font/devps/TI
font/devps/TR
font/devps/generate/Makefile
font/devps/generate/textmap
font/devps/symbolmap
font/devutf8/R.proto
src/utils/afmtodit/afmtodit.man
src/utils/afmtodit/afmtodit.pl