Add EC and TC fonts to devdvi.

* src/utils/tfmtodit/tfmtodit.man: Document patching of exbase.mf.
* font/devdvi/generate/cork.map: Renamed to...
* font/devdvi/generate/ec.map: This.
Remove entry for `aq'.
* font/devdvi/generate/tc.map: New file.
* font/devdvi/generate/Makefile (*EC, *TC): New creation rules for
EC and TC fonts.
(FONTS): Updated.
* font/devdvi/*EC, font/devdvi/*TC: New font definition files.
* font/devdvi/Makefile.sub (DEVFILES): Updated.
* tmac/ec.tmac: New file.
* tmac/Makefile.sub (NORMALFILES): Updated.
* NEWS, src/devices/grodvi/grodvi.man: Updated.

* font/devdvi/{TR,TI,TB,TBI,HR}: Fix `name' field.

1 files changed, 139 insertions, 0 deletions

diff --git a/font/devdvi/TITC b/font/devdvi/TITC
new file mode 100644
index 00000000..984d243d
--- /dev/null
+++ b/font/devdvi/TITC
@@ -0,0 +1,139 @@
+name TITC
+special
+internalname tcti1000
+spacewidth 375066
+slant 14.036243
+checksum 427649518
+designsize 10485760
+charset
+---	535808,634477	2	0000
+---	535808,634477,0,79074	2	0001
+---	535808,672672,0,62390	2	0002
+---	535808,672672,0,113859	2	0003
+---	535808,672672	2	0004
+---	535808,634477,0,105864	2	0005
+---	779251,672672	2	0006
+---	535808,672672	2	0007
+---	535808,672672,0,98717	2	0010
+---	535808,672672,0,127254	2	0011
+---	321485,634477	2	0012
+---	482227,0,178360	1	0013
+---	321485,0,203840	1	0014
+---	428646,110656,203840	1	0015
+---	535808,110656,203840	1	0022
+---	750131,450486,0,96528	0	0025
+---	830502,450486,0,96528	0	0026
+---	0,716352	2	0027
+<-	1018035,384606,-139554	0	0030
+->	1018035,384606,-139554	0	0031
+---	321485,728000,0,454288	2	0032
+---	375066,992992,0,510522	2	0033
+---	535808,728000,0,454288	2	0034
+---	535808,728000,0,510522	2	0035
+---	0,728000	2	0037
+---	482227,728000,0,66174,-46666,66174	2	0040
+Do	535808,786240,58240,142106	3	0044
+$	"
+aq	321485,728000,0,117062	2	0047
+**	535808,487760,-36400	2	0052
+,	321485,110656,203840	1	0054
+---	375066,384606,-139554,69362	0	0055
+.	321485,110656	0	0056
+f/	535808,786240,262080,169770	3	0057
+0	535808,450486,0,68272	0	0060
+1	535808,450486	0	0061
+2	535808,450486,0,68840	0	0062
+3	535808,450486,203840,68840	1	0063
+4	535808,450486,203840,12376	1	0064
+5	535808,450486,203840,59259	1	0065
+6	535808,672672,0,115315	2	0066
+7	535808,450486,203840,112840	1	0067
+8	535808,672672,0,115315	2	0070
+9	535808,450486,203840,59259	1	0071
+la	428646,786240,262080	3	0074
+mi	803712,581944,59405,38730	3	0075
+\-	"
+ra	428646,786240,262080	3	0076
+---	750131,716352,0,160334,0,80168	2	0115
+ci	1125197,786240,262080	3	0117
+---	750131,716352,0,107526,0,53763	2	0127
+---	442042,786240,262080	3	0133
+---	442042,786240,262080	3	0135
+ua	535808,728000,203840,96387	3	0136
+da	535808,728000,203840	3	0137
+---	535808,728000	2	0140
+---	535808,487760,-36400	2	0142
+---	535808,487760,-36400	2	0143
+---	535808,634477,27666	3	0144
+---	1018035,728000	2	0154
+---	535808,487760,-36400	2	0155
+---	589389,728000	2	0156
+ti	642970,128960	0	0176
+~	"
+---	214323,384606,-139554,69362	0	0177
+---	642970,728000,0,113277	2	0200
+---	642970,728000,0,104250	2	0201
+---	535808,728000,0,128419	2	0202
+---	535808,728000	2	0203
+dg	482227,728000,203840	3	0204
+dd	482227,728000,203840	3	0205
+---	535808,786240,262080	3	0206
+%O	1178778,786240,58240,142979	3	0207
+bu	535808,450486,-74547	0	0210
+---	964454,716352,0,152298,-80517,76149	2	0211
+---	642970,786240,58240,142106	3	0212
+---	535808,548426,101920,102125	3	0213
+Fn	321485,728000,203840,222186,104541,112840	3	0214
+---	750131,786240,58240,152298,-80517,76149	3	0215
+---	1047155,716352,0,192483,-138902,58531	2	0216
+---	806042,716352,0,171808,0,59114	2	0217
+---	810992,786240,58240,91437,-80517,91437	3	0220
+---	724506,716352,0,107526,0,-26426	2	0221
+---	806261,728000	2	0222
+---	764691,716352,0,40550,0,30413	2	0223
+---	589389,728000,0,128419	2	0224
+---	535808,524160,203840	3	0225
+---	535808,786240,0,122886,-46666,122886	2	0226
+tm	696550,786240,0,550366	2	0227
+---	1515405,786240,58240,142979	3	0230
+---	509018,728000,203840	3	0231
+---	737901,786240,58240,107526,0,53763	3	0232
+---	937373,716352,0,171808,0,59114	2	0233
+---	535808,786240,0,169770	2	0234
+---	705869,716352,0,136106	2	0235
+---	535808,450486,-74547	0	0236
+---	696550,786240,0,550366	2	0237
+---	401856,786240,262080,23587	3	0240
+---	401856,786240,262080,154627	3	0241
+ct	535808,548426,101920,102125	3	0242
+Po	806261,728000	2	0243
+Cs	816510,581944,0,112840	2	0244
+Ye	779251,716352,0,203198	2	0245
+bb	214323,786240,262080,142979	3	0246
+sc	482227,728000,203840	3	0247
+---	535808,700130,0,109803	2	0250
+co	1125197,786240,262080	3	0251
+Of	482227,786240,0,137592	2	0252
+---	1125197,786240,262080	3	0253
+no	696550,450486,0,86050	0	0254
+---	1125197,786240,262080	3	0255
+rg	1125197,786240,262080	3	0256
+rn	803712,728000	2	0257
+de	375066,716352	2	0260
++-	803712,581944,59405,38730	3	0261
+S2	482227,786240,0,169770	2	0262
+S3	482227,786240,0,169770	2	0263
+---	535808,728000,0,101629	2	0264
+mc	535808,450486,203840,80419,30867,80419	1	0265
+ps	642970,728000,203840	3	0266
+pc	321485,450486	0	0267
+---	704314,548426,0,29630	2	0270
+S1	482227,786240,0,169770	2	0271
+Om	482227,786240,0,137592	2	0272
+sr	482227,786240,220138,196560	3	0273
+14	482227,786240,203840,169770	3	0274
+12	482227,786240,203840,169770	3	0275
+34	482227,786240,203840,169770	3	0276
+Eu	803712,716352,0,126090	2	0277
+mu	803712,581944,59405,38730	3	0326
+di	803712,581944,59405,38730	3	0366