+git-release:
+ head -1 ChangeLog | grep -q "to v$(VERSION)"
+ head -1 NEWS | grep -q "udev $(VERSION)"
+ git commit -a -m "release $(VERSION)"
+ cat .git/refs/heads/master > .git/refs/tags/$(VERSION)
+ git gc
+ git prune
+
+doc-sync:
+ rsync -av --delete libudev/docs/html/ master.kernel.org:/pub/linux/utils/kernel/hotplug/libudev/
+ rsync -av --delete extras/gudev/docs/html/ master.kernel.org:/pub/linux/utils/kernel/hotplug/libgudev/