From 4415adff2662cc52f6919a1d8c9b370525c58ecd Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@zaphodbeeblebrox.sygroup-int.ch>
Date: Tue, 17 Jan 2006 12:13:30 +0100
Subject: [PATCH] Added pushing/update to Makefile

---
 Makefile | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index c7ad42f..89564e5 100644
--- a/Makefile
+++ b/Makefile
@@ -22,14 +22,25 @@ docdir=$(dir)/doc
 all:
 	@echo "Nothing to make, make install."
 
+install:
+	$(INSTALL) -D -m 0755 -s $(CCOLLECT) $(destination)
+	$(LN) $(destination) $(path_destination)
+
 documentation:
 	@echo "Generating HTML-documentation"
 	@asciidoc -n -o doc/ccollect.html  doc/ccollect.text
 
+#
+# Developer targets
+#
+update:
+	@cg-update creme
+
+push-work:
+	@cg-push creme
+	@cg-push main
+
 publish-doc: documentation
 	@chmod a+r doc/ccollect.html
 	@scp doc/ccollect.html doc/ccollect.text $(host):$(docdir)
 
-install:
-	$(INSTALL) -D -m 0755 -s $(CCOLLECT) $(destination)
-	$(LN) $(destination) $(path_destination)