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