|
|
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.
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.