#!/bin/sh
# Print the encoding vector of a font.  Usage:
#	printenc fontname
# Output goes to stdout.

exec gs -q -dNODISPLAY -- printenc.ps "$@"