diff options
author | wlemb <wlemb> | 2002-03-26 09:54:03 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2002-03-26 09:54:03 +0000 |
commit | 41b4fb3c1194697ba5042168cf0e69eb9da6e352 (patch) | |
tree | a8d8049757438cc85e6e53fe1b00377faf236531 /font/devps/generate | |
parent | 1d7a61d62f5d79573335436bd22b397b44ff1397 (diff) | |
download | groff-41b4fb3c1194697ba5042168cf0e69eb9da6e352.tar.gz |
Add three glyphs `t+-', `tmu', and `tdi' which are textual variants
of `+-', `mu', and `di', respectively.
* font/devascii/R.proto, font/devutf8/R.proto,
font/devlatin1/R.proto, font/devhtml/R.proto,
font/devcp1047/R.proto, font/devlpb/*: Add them.
* font/devps/generate/textmap: Ditto.
* font/devps/*: Regenerated.
* font/devlj4/generate/text.map: Add them.
* font/devlj4/*: Regenerated.
* font/devdvi/generate/tc.map: Use them.
* font/devdvi/generate/texsy.map: Add them.
* font/devdvi/*: Regenerated.
* font/devX*/*: Regenerated.
* tmac/latin1.tmac, tmac/cp1047.tmac, tmac/tty.tmac,
tmac/tty-char.tmac: Updated.
* NEWS, man/groff_char.man: Updated.
Diffstat (limited to 'font/devps/generate')
-rw-r--r-- | font/devps/generate/textmap | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/font/devps/generate/textmap b/font/devps/generate/textmap index 9cda7c25..4fdd08b4 100644 --- a/font/devps/generate/textmap +++ b/font/devps/generate/textmap @@ -362,3 +362,6 @@ summation sum product product arrowvertex arrowvertex arrowhorizex an +multiply tmu +divide tdi +plusminus t+- |