chiark / gitweb /
internal notation: rename \merge and \mergeof to \commitmerge and \commitmergeof...
[topbloke-formulae.git] / Makefile
2012-03-25 Ian Jacksonadd final.ps to default target
2012-03-18 Ian Jacksonrevid - better deps
2012-03-18 Ian Jacksonmake clean - remove *.ps
2012-03-18 Ian Jacksonrevid - include
2012-03-18 Ian Jacksonmore sophisticated makefile (make once etc.)
2012-03-16 Ian Jacksonsplit into multiple source files
2012-03-01 Ian Jacksonfix up default target
2012-03-01 Ian Jacksonmake postscript
2012-03-01 Ian Jacksonmakefile etc.