# create and install font for the web macros
mkfont cmtex10