chiark / gitweb /
Improved "make dist", now with version numbers.
authorBen Harris <bjh21@bjh21.me.uk>
Sun, 1 Dec 2013 16:58:06 +0000 (16:58 +0000)
committerBen Harris <bjh21@bjh21.me.uk>
Sun, 1 Dec 2013 16:58:06 +0000 (16:58 +0000)
commit4acc4706e805eda746efedb0665573c9a966df4d
tree6d3aafefa80ea251cf6bcab48912e99f840436ee
parentc343e1c02cca119fd816ba9f6ba77bd3852a0c2b
Improved "make dist", now with version numbers.
Makefile