# create and install font for the web macros mkfont cmtex10