1FONTDIR=/usr/local/lib/groff/font 2DEVICEDIR=$(FONTDIR)/devX75 3 4all: 5 6install: 7 -[ -d $(FONTDIR) ] || mkdir $(FONTDIR) 8 -[ -d $(DEVICEDIR) ] || mkdir $(DEVICEDIR) 9 cp DESC eqnchar $(DEVICEDIR) 10 dir=`pwd`; \ 11 cd $(DEVICEDIR); \ 12 $$dir/../xtotroff -g $$dir/FontMap 13 -[ -d $(DEVICEDIR)-12 ] || mkdir $(DEVICEDIR)-12 14 cp eqnchar $(DEVICEDIR)-12 15 sed -e 's/unitwidth 10/unitwidth 12/' DESC >$(DEVICEDIR)-12/DESC 16 sed -e 's/100-75-75/120-75-75/' FontMap >FontMap-12 17 dir=`pwd`; \ 18 cd $(DEVICEDIR)-12; \ 19 $$dir/../xtotroff -g $$dir/FontMap-12 20 rm FontMap-12 21