diff options
| author | Ian Jauslin <jauslin@ias.edu> | 2017-09-13 23:29:54 +0000 |
|---|---|---|
| committer | Ian Jauslin <jauslin@ias.edu> | 2017-09-15 16:34:06 +0000 |
| commit | 52a5942994007acc29107f036c9b8f386b19399f (patch) | |
| tree | 70b55d149bb149239b158123d884595440015fe5 /dimer_font/Makefile | |
Initial commitv0.0
Diffstat (limited to 'dimer_font/Makefile')
| -rw-r--r-- | dimer_font/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/dimer_font/Makefile b/dimer_font/Makefile new file mode 100644 index 0000000..d538fdf --- /dev/null +++ b/dimer_font/Makefile @@ -0,0 +1,18 @@ +PROJECTNAME=dimer + +dist: $(PROJECTNAME).600pk + +$(PROJECTNAME).600gf: + mf '\mode=ljfour; mode_setup; input $(PROJECTNAME).mf' + +$(PROJECTNAME).600pk: $(PROJECTNAME).600gf + gftopk $(PROJECTNAME).600gf $(PROJECTNAME).600pk + +clean-aux: + rm -f $(PROJECTNAME).600gf + rm -f $(PROJECTNAME).log + +clean: clean-aux + rm -f $(PROJECTNAME).600pk + rm -f $(PROJECTNAME).tfm + |