Move mkdocs.yml into root directory, so readthedocs.org will work.

Documentation/mkdocs.do

@@ -1,8 +1,8 @@
 redo-ifchange doc.list
-xargs redo-ifchange mkdocs.yml <doc.list
+xargs redo-ifchange ../mkdocs.yml <doc.list
 
 if type mkdocs >/dev/null 2>/dev/null; then
-	mkdocs build
+	(cd .. && mkdocs build)
 else
 	echo "Warning: mkdocs is missing; can't generate website." >&2
 	redo-ifcreate /usr/bin/mkdocs

Documentation/mkdocs.yml

@@ -1,18 +0,0 @@
-site_name: redo build system
-theme: readthedocs
-docs_dir: .
-site_dir: ../website
-strict: true
-
-pages:
-  - Introduction: index.md
-  - Man Pages:
-    - redo: redo.md
-    - redo-ifchange: redo-ifchange.md
-    - redo-ifcreate: redo-ifcreate.md
-    - redo-always: redo-always.md
-    - redo-stamp: redo-stamp.md
-    - redo-sources: redo-sources.md
-    - redo-targets: redo-targets.md
-    - redo-ood: redo-ood.md
-    - redo-whichdo: redo-whichdo.md