+ ln -s $*-cmd.sh $@
+
+# update the local 'man' and 'html' branches with pregenerated output files, for
+# people who don't have pandoc (and maybe to aid in google searches or something)
+export-docs: Documentation/all
+ git update-ref refs/heads/man origin/man '' 2>/dev/null || true
+ git update-ref refs/heads/html origin/html '' 2>/dev/null || true
+ GIT_INDEX_FILE=gitindex.tmp; export GIT_INDEX_FILE; \
+ rm -f $${GIT_INDEX_FILE} && \
+ git add -f Documentation/*.1 && \
+ git update-ref refs/heads/man \
+ $$(echo "Autogenerated man pages for $$(git describe --always)" \
+ | git commit-tree $$(git write-tree --prefix=Documentation) \
+ -p refs/heads/man) && \
+ rm -f $${GIT_INDEX_FILE} && \
+ git add -f Documentation/*.html && \
+ git update-ref refs/heads/html \
+ $$(echo "Autogenerated html pages for $$(git describe --always)" \
+ | git commit-tree $$(git write-tree --prefix=Documentation) \
+ -p refs/heads/html)
+
+# push the pregenerated doc files to origin/man and origin/html
+push-docs: export-docs
+ git push origin man html
+
+# import pregenerated doc files from origin/man and origin/html, in case you
+# don't have pandoc but still want to be able to install the docs.
+import-docs: Documentation/clean
+ git archive origin/html | (cd Documentation; tar -xvf -)
+ git archive origin/man | (cd Documentation; tar -xvf -)
+
+clean: Documentation/clean config/clean
+ rm -f *.o lib/*/*.o *.so lib/*/*.so *.dll lib/*/*.dll *.exe \