# HG changeset patch
# User Volker Grabsch <vog@notjusthosting.com>
# Date 1226203868 -3600
# Node ID 0d528839039aded874adc65b6f909da39bf2c579
# Parent  cf19f8123e1b71992ddc8fe0f9e00883bd47880c
rename installation markers from 'installed.*' to 'installed-*' to avoid weird file extensions

diff -r cf19f8123e1b -r 0d528839039a Makefile
--- a/Makefile	Sun Nov 09 05:07:35 2008 +0100
+++ b/Makefile	Sun Nov 09 05:11:08 2008 +0100
@@ -37,8 +37,8 @@
 
 define PKG_RULE
 .PHONY: $(1)
-$(1): $(PREFIX)/installed.$(1)
-$(PREFIX)/installed.$(1): $(addprefix $(PREFIX)/installed.,$($(1)_DEPS))
+$(1): $(PREFIX)/installed-$(1)
+$(PREFIX)/installed-$(1): $(addprefix $(PREFIX)/installed-,$($(1)_DEPS))
 	[ -d '$(PREFIX)' ] || mkdir -p '$(PREFIX)'
 	[ -d '$(PKG_DIR)' ] || mkdir -p '$(PKG_DIR)'
 	rm -rf   '$(2)'