diff options
author | Josip Rodin <joy> | 2001-06-10 19:35:00 +0000 |
---|---|---|
committer | Josip Rodin <joy> | 2001-06-10 19:35:00 +0000 |
commit | 1fc4ca506e6c150d7d8c99246bcfacf5c508a560 (patch) | |
tree | e79cdc58899ea3fc0d4394dca40c03889800f610 /english/Pics/Makefile | |
parent | 0be1861b89a1c39201462fd5437951884b6873ea (diff) |
provide for editing font registry and encoding (e.g. iso8859-7)
CVS version numbers
english/Pics/Makefile: 1.8 -> 1.9
english/Pics/debbar.pl: 1.7 -> 1.8
Diffstat (limited to 'english/Pics/Makefile')
-rw-r--r-- | english/Pics/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/english/Pics/Makefile b/english/Pics/Makefile index 5a77e243a93..e053ce2147f 100644 --- a/english/Pics/Makefile +++ b/english/Pics/Makefile @@ -22,6 +22,12 @@ endif ifneq "$(FONTTYPE)" "" debbar.pl += -fonttype $(FONTTYPE) endif +ifneq "$(FONTREGISTRY)" "" +debbar.pl += -fontregistry $(FONTREGISTRY) +endif +ifneq "$(FONTENCODING)" "" +debbar.pl += -fontencoding $(FONTENCODING) +endif about.$(LANGUAGE).gif: $(debbar.pl) $(debbar.pl) -words $(ABOUT_TEXT) -o $@ |