13.5 Building the changed font

In order to rebuild the font after making the changes, the existing font files must be deleted. The simplest and quickest way to do this is to do:

rm mf/out/*
make

This document was generated by gub on July 13, 2020 using texi2html 1.82.