git.pond.sub.org Git - empserver/commit

]> git.pond.sub.org Git - empserver/commit

author	Markus Armbruster <armbru@pond.sub.org>
	Tue, 17 Feb 2009 22:00:07 +0000 (23:00 +0100)
committer	Markus Armbruster <armbru@pond.sub.org>
	Tue, 17 Feb 2009 22:00:07 +0000 (23:00 +0100)
commit	dd8921218b824dd2aa58d12a97c3443b8d40ceaf
tree	b2ce0ee8605a27f491ceb15cdc095851e59b23cf	tree \| snapshot
parent	6d6301afe82857ecbd9e215cb1be9cb902b3b36b	commit \| diff

Fix make dist in a separate build directory without git, really

Make didn't remake sources.mk even though it was a phony target. I
don't understand why. But we can just as well create it in its only
user, dist-source.

Make.mk

diff | blob | history

Markus's Wolfpack Empire tree

RSS Atom