#!/bin/sh

PFB_URW_FONTS_DIR=/usr/share/fonts/default/Type1
HTMLDOC_FONTS_DIR=/usr/share/htmldoc/fonts

FONTS="Times-Roman Times-Italic Times-Bold Times-BoldItalic Helvetica Helvetica-Oblique Helvetica-Bold Helvetica-BoldOblique Courier Courier-Oblique Courier-Bold Courier-BoldOblique"

mkdir -p "$DESTDIR/$HTMLDOC_FONTS_DIR"

for PFA_FONT_NAME in $FONTS;
do {
	PFB_FONT_NAME=`gawk --assign name="$PFA_FONT_NAME" '$1 == name { print $2 }' "$PFB_URW_FONTS_DIR/font.map"`
	cp -p "$PFB_URW_FONTS_DIR/$PFB_FONT_NAME.afm" "$DESTDIR/$HTMLDOC_FONTS_DIR/$PFA_FONT_NAME.afm"
	t1ascii "$PFB_URW_FONTS_DIR/$PFB_FONT_NAME.pfb" "$DESTDIR/$HTMLDOC_FONTS_DIR/$PFA_FONT_NAME.pfa"
}
done