Deduplicate a line in the dok-release target
authorFabian Keil <fk@fabiankeil.de>
Fri, 26 Aug 2011 16:12:34 +0000 (16:12 +0000)
committerFabian Keil <fk@fabiankeil.de>
Fri, 26 Aug 2011 16:12:34 +0000 (16:12 +0000)
commitf6e91fbff37352f79e883b50b4e036035eaf4600
treec4bda0a6e73466585b5090d49ee8417baee430dd
parent598e71e8b8558edef05d5c2791925ae8bb3cabc5
Deduplicate a line in the dok-release target
GNUmakefile.in