Maintainer utility: make headlink
commit7cbf1a43ce8c22f41c6b0c66401aa7db058f73bb
authorThomas Perl <thp@thpinfo.com>
Fri, 2 Jul 2010 19:44:34 +0000 (2 21:44 +0200)
committerThomas Perl <thp@thpinfo.com>
Fri, 2 Jul 2010 19:44:34 +0000 (2 21:44 +0200)
tree800f6422b0235da1082333ecdfcfb85df25e5111
parentbcde6ca3937319b2b46107d8dd71c5441dfb4334
Maintainer utility: make headlink

This small shortcut, a.k.a "make headlink"
generates a permanent link to the current
Git HEAD, assuming that it has already been
pushed to the main repository.

Most likely only useful to the maintainer.
Makefile