#!/bin/sh # Print the metrics from a font in AFM format. Usage: # printafm fontname # Output goes to stdout. exec gs -q -dNODISPLAY -- printafm.ps "$@"