+ $(HLINT) $(HLINT_TARGETS) $(HLINT_OPTS)
+
+# -- Ditz the Distributed Issue Tracker ---------------------------------------
+ifeq (,$(wildcard .ditz-config))
+ditz:
+else
+ditz:
+ $(DITZ) html dist/ditz
+
+ChangeLog:
+ rm -f $@
+ $(DITZ) releases | awk '{print $$1}' | sort --reverse | while read i; do \
+ $(DITZ) changelog $$i >> $@; \
+ done
+ head $@
+endif
+
+# -- Pushing to remote hosts --------------------------------------------------
+push: push-repo push-ditz push-doc
+
+push-repo:
+ if [ -d "_darcs" ]; then \
+ darcs push; \
+ elif [ -d ".git" ]; then \
+ git push --all && git push --tags; \
+ fi
+
+push-ditz: ditz
+ if [ -d "dist/ditz" ]; then \
+ rsync -av --delete \
+ dist/ditz/ \
+ www@nem.cielonegro.org:static.cielonegro.org/htdocs/ditz/$(PKG_NAME); \
+ fi
+
+push-doc: doc
+ if [ -d "dist/doc" ]; then \
+ rsync -av --delete \
+ dist/doc/html/$(PKG_NAME)/ \
+ www@nem.cielonegro.org:static.cielonegro.org/htdocs/doc/$(PKG_NAME); \
+ fi