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, 138 insertions, 0 deletions

diff --git a/font/devdvi/TRTC b/font/devdvi/TRTC
new file mode 100644
index 00000000..e3ca8bd4
--- /dev/null
+++ b/font/devdvi/TRTC
@@ -0,0 +1,138 @@
+name TRTC
+special
+internalname tcrm1000
+spacewidth 349440
+checksum -1137054567
+designsize 10485760
+charset
+---	524160,635442	2	0000
+---	524160,635442	2	0001
+---	524160,672672	2	0002
+---	524160,672672	2	0003
+---	524160,672672	2	0004
+---	524160,635442,0,15970	2	0005
+---	786240,672672	2	0006
+---	524160,672672	2	0007
+---	524160,672672	2	0010
+---	524160,672672	2	0011
+---	291200,635442	2	0012
+---	465920,0,178360	1	0013
+---	291200,0,203840	1	0014
+---	407680,110656,203840	1	0015
+---	524160,110656,203840	1	0022
+---	698880,458640,0,29120	2	0025
+---	786240,458640,0,29120	2	0026
+---	0,722176	2	0027
+<-	1048320,384606,-139554	0	0030
+->	1048320,384606,-139554	0	0031
+---	291200,722176,0,275184	2	0032
+---	349440,992992,0,304304	2	0033
+---	524160,722176,0,275184	2	0034
+---	524160,722176,0,304304	2	0035
+---	0,722176	2	0037
+---	582400,722176	2	0040
+Do	524160,786240,58240	3	0044
+$	"
+aq	291200,722176	2	0047
+**	524160,487760,-36400	2	0052
+,	291200,110656,203840	1	0054
+---	349440,384606,-139554	0	0055
+.	291200,110656	0	0056
+f/	524160,786240,262080	3	0057
+0	524160,458640	2	0060
+1	524160,458640	2	0061
+2	524160,458640	2	0062
+3	524160,458640,203840	3	0063
+4	524160,458640,203840	3	0064
+5	524160,458640,203840	3	0065
+6	524160,672672	2	0066
+7	524160,458640,203840	3	0067
+8	524160,672672	2	0070
+9	524160,458640,203840	3	0071
+la	407680,786240,262080	3	0074
+mi	815360,611520,87360	3	0075
+\-	"
+ra	407680,786240,262080	3	0076
+---	757120,722176	2	0115
+ci	1164800,786240,262080	3	0117
+---	757120,722176	2	0127
+---	422240,786240,262080	3	0133
+---	422240,786240,262080	3	0135
+ua	524160,722176,203840	3	0136
+da	524160,722176,203840	3	0137
+---	524160,722176	2	0140
+---	524160,487760,-36400	2	0142
+---	524160,487760,-36400	2	0143
+---	524160,635442,27666	3	0144
+---	1048320,722176	2	0154
+---	524160,487760,-36400	2	0155
+---	640640,722176	2	0156
+ti	640640,128960	0	0176
+~	"
+---	174720,384606,-139554	0	0177
+---	640640,722176	2	0200
+---	640640,722176	2	0201
+---	524160,722176	2	0202
+---	524160,722176	2	0203
+dg	465920,722176,203840	3	0204
+dd	465920,722176,203840	3	0205
+---	524160,786240,262080	3	0206
+%O	1223040,786240,58240	3	0207
+bu	524160,458640,-58240	2	0210
+---	990080,722176,0,0,-29120	2	0211
+---	640640,786240,58240	3	0212
+---	524160,548426,101920	3	0213
+Fn	320320,722176,0,81536	2	0214
+---	757120,786240,58240,0,-29120	3	0215
+---	1077440,722176,0,14560,43680,-131040	2	0216
+---	815360,722176	2	0217
+---	822640,786240,58240,0,-29120	3	0220
+---	728000,722176,0,0,0,-145600	2	0221
+---	669760,722176	2	0222
+---	771680,722176	2	0223
+---	495040,722176	2	0224
+---	495040,524160,203840	3	0225
+---	582400,786240	2	0226
+tm	698880,786240,0,550366	2	0227
+---	1586070,786240,58240	3	0230
+---	495040,722176,203840	3	0231
+---	742560,786240,58240	3	0232
+---	960960,722176	2	0233
+---	524160,786240	2	0234
+---	709072,722176	2	0235
+---	524160,458640,-58240	2	0236
+---	698880,786240,0,550366	2	0237
+---	378560,786240,262080	3	0240
+---	378560,786240,262080	3	0241
+ct	524160,548426,101920	3	0242
+Po	669760,722176	2	0243
+Cs	772248,580323	2	0244
+Ye	786240,722176,0,26208	2	0245
+bb	174720,786240,262080	3	0246
+sc	465920,722176,203840	3	0247
+---	524160,700130	2	0250
+co	1164800,786240,262080	3	0251
+Of	465920,786240	2	0252
+---	1164800,786240,262080	3	0253
+no	698880,458640	2	0254
+---	1164800,786240,262080	3	0255
+rg	1164800,786240,262080	3	0256
+rn	815360,722176	2	0257
+de	349440,722176	2	0260
++-	815360,611520,87360	3	0261
+S2	465920,786240	2	0262
+S3	465920,786240	2	0263
+---	524160,722176	2	0264
+mc	582400,458640,203840	3	0265
+ps	640640,722176,203840	3	0266
+pc	291200,458640	2	0267
+---	660051,548426	2	0270
+S1	465920,786240	2	0271
+Om	465920,786240	2	0272
+sr	495040,786240,220138	3	0273
+14	465920,786240,203840	3	0274
+12	465920,786240,203840	3	0275
+34	465920,786240,203840	3	0276
+Eu	815360,722176	2	0277
+mu	815360,611520,87360	3	0326
+di	815360,611520,87360	3	0366