diff --git a/Documentation/git-export.do b/Documentation/git-export.do
new file mode 100644
index 0000000..dc6d04f
--- /dev/null
+++ b/Documentation/git-export.do
@@ -0,0 +1,15 @@
+# update the local 'man' branch with pregenerated output files, for people
+# who don't have pandoc (and maybe to aid in google searches or something)
+redo-ifchange all
+git update-ref refs/heads/man origin/man '' 2>/dev/null || true
+
+export GIT_INDEX_FILE=gitindex.tmp
+rm -f $GIT_INDEX_FILE
+git add -f *.1
+
+MSG="Autogenerated man pages for $(git describe)"
+TREE=$(git write-tree --prefix=Documentation)
+git show-ref refs/heads/man >/dev/null && PARENT="-p refs/heads/man"
+COMMITID=$(echo "$MSG" | git commit-tree $TREE $PARENT)
+
+git update-ref refs/heads/man $COMMITID
diff --git a/Documentation/git-import.do b/Documentation/git-import.do
new file mode 100644
index 0000000..74eeb2b
--- /dev/null
+++ b/Documentation/git-import.do
@@ -0,0 +1,8 @@
+exec >&2
+if git show-ref refs/heads/man >/dev/null; then
+	(cd .. && git archive man) | tar -xvf -
+else
+	(cd .. && git archive origin/man) | tar -xvf -
+fi
+
+