/* These are the extra fonts required for the LaTeX picture environment.  */

make 'line10 linew10 lcircle10 lcirclew10', 'magstep0';
