|
|
1.1 root 1: To modify a font, edit the corresponding file
2: (e.g., H, BI, ...). When satisfied,
3: ../makedev <fontname>...
4: to make the description files, then
5: install (no arguments)
6: to install it/them in /usr/lib/fonts/dev202/...
7:
8: If the font you are fiddling is one of the standard
9: mounted ones, you must also do
10: ../makedev DESC
11: (This ought to be automated, of course.)
12:
13: IF YOU ADD OR DELETE CHARACTER NAMES FROM THE LIST IN "DESC",
14: YOU MUST RECOMPILE ALL (!) FONTS AND INSTALL THEM.
15:
16: /usr/202/fonts/tempdir/TOC* is a list of the fonts actually
17: mounted on the 202; /usr/202/font/Database tells what's what.
18:
19: printfont attempts to print a sensible representation of
20: a font.
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.