diff options
Diffstat (limited to 'devps/Makefile.sub')
| -rw-r--r-- | devps/Makefile.sub | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/devps/Makefile.sub b/devps/Makefile.sub new file mode 100644 index 000000000..e1525b447 --- /dev/null +++ b/devps/Makefile.sub @@ -0,0 +1,26 @@ +DEV=ps +DISTFILES=symbolsl.ps zapfdr.ps text.enc prologue download \ + S ZD ZDR SS AB ABI AI AR BMB BMBI BMI BMR \ + CB CBI CI CR HB HBI HI HR HNB HNBI HNI HNR \ + NB NBI NI NR PB PBI PI PR TB TBI TI TR ZCMI +DEVGENFILES=generate/Makefile generate/afmname generate/dingbatsmap \ + generate/dingbatsrmap generate/lgreekmap generate/symbol.sed \ + generate/symbolchars generate/symbolsl.afm generate/textmap +DEVFILES=DESC $(DISTFILES) $(DEVGENFILES) + +CLEANADD=DESC + +DESC: DESC.in + -rm -f DESC + cat $(srcdir)/DESC.in >DESC + echo broken $(BROKEN_SPOOLER_FLAGS) >>DESC + if test "$(PAGE)" = A4; then \ + echo "paperlength 841890" >>DESC; \ + else \ + echo "paperlength 792000" >>DESC; \ + fi + test -z '$(PSPRINT)' || echo print '$(PSPRINT)' >>DESC + +fonts: DESC + $(MAKE) -f $(srcdir)/generate/Makefile \ + srcdir=$(srcdir)/generate DESC=$(srcdir)/DESC.in |