diff options
| author | wlemb <wlemb> | 2001-01-17 14:54:42 +0000 |
|---|---|---|
| committer | wlemb <wlemb> | 2001-01-17 14:54:42 +0000 |
| commit | 65a37f37f45fdd535cd1eb76f7fc71c5e2a229c3 (patch) | |
| tree | 2da2b07ad18d5e62d12b958f14dabcf78ac43af6 /font/devhtml | |
| parent | 332ced6cefd9f028d630a39fc4fa44e1e6dd8d11 (diff) | |
| download | groff-65a37f37f45fdd535cd1eb76f7fc71c5e2a229c3.tar.gz | |
new
Diffstat (limited to 'font/devhtml')
| -rw-r--r-- | font/devhtml/Makefile.sub | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/font/devhtml/Makefile.sub b/font/devhtml/Makefile.sub new file mode 100644 index 00000000..df56914e --- /dev/null +++ b/font/devhtml/Makefile.sub @@ -0,0 +1,34 @@ +DEV=html +PROTOFONTS=R I B BI CR +FONTS=$(PROTOFONTS) S +DEVFILES=$(FONTS) DESC +CLEANADD=$(FONTS) DESC + +RES=240 +CPI=10 +LPI=6 + +$(FONTS): R.proto + @echo Making $@ + @-rm -f $@ + @(charwidth=`expr $(RES) / $(CPI)` ; \ + sed -e "s/^name [A-Z]*$$/name $@/" \ + -e "s/^\\([^ ]*\\) [0-9]+ /\\1 $$charwidth /" \ + -e "s/^spacewidth [0-9]+$$/spacewidth $$charwidth/" \ + -e "s/^internalname .*$$/internalname $@/" \ + -e "/^internalname/s/CR/4/" \ + -e "/^internalname/s/BI/3/" \ + -e "/^internalname/s/B/2/" \ + -e "/^internalname/s/I/1/" \ + -e "/^internalname .*[^ 0-9]/d" \ + $(srcdir)/R.proto >$@) + +DESC: DESC.proto + @echo Making $@ + @-rm -f $@ + @sed -e "s/^res .*$$/res $(RES)/" \ + -e "s/^hor .*$$/hor `expr $(RES) / $(CPI)`/" \ + -e "s/^vert .*$$/vert `expr $(RES) / $(LPI)`/" \ + -e "s/^fonts .*$$/fonts `set $(FONTS); echo $$#` $(FONTS)/" \ + $(srcdir)/DESC.proto >$@ + |