Convert task numbers into dev.gnupg.links
authorAndre Heinecke <aheinecke@intevation.de>
Wed, 17 Jan 2018 19:07:14 +0000 (20:07 +0100)
committerAndre Heinecke <aheinecke@intevation.de>
Wed, 17 Jan 2018 19:07:14 +0000 (20:07 +0100)
commitf27fc61bf4b6958ecba91c4d6fac53a0d8e7cb80
tree0398363df99f8633f76dcb25988cc469aae5f7ac
parentf57154d6b6926e96f5a36278549e97999d141ee2
Convert task numbers into dev.gnupg.links

* Makefile: Simply convert any T<Number> into a link
to a task in the dev tracker.

--
Would be better placed in build-history.awk but I don't
awk well.
web/Makefile