+# Maintainer stuff
+sync-docs:
+ git checkout release && \
+ git merge master && \
+ make clean doc-man doc-html && \
+ git add $(MANDOC) $(HTMLDOC) && \
+ git commit -m "Sync docs" && \
+ git checkout master
+
+.PHONY: all all-debug doc doc-man doc-html install install-doc \
+ install-doc-man install-doc-html clean spell-check dist rpm