From baae4fe213630173094bd7b2681f4c4e4536887f Mon Sep 17 00:00:00 2001 From: Avery Pennarun Date: Fri, 16 Nov 2018 01:14:15 -0500 Subject: [PATCH] Move mkdocs.yml into root directory, so readthedocs.org will work. --- Documentation/mkdocs.do | 4 ++-- Documentation/mkdocs.yml => mkdocs.yml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) rename Documentation/mkdocs.yml => mkdocs.yml (90%) diff --git a/Documentation/mkdocs.do b/Documentation/mkdocs.do index 86433d2..c3044ee 100644 --- a/Documentation/mkdocs.do +++ b/Documentation/mkdocs.do @@ -1,8 +1,8 @@ redo-ifchange doc.list -xargs redo-ifchange mkdocs.yml /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 diff --git a/Documentation/mkdocs.yml b/mkdocs.yml similarity index 90% rename from Documentation/mkdocs.yml rename to mkdocs.yml index 3589df3..8d86120 100644 --- a/Documentation/mkdocs.yml +++ b/mkdocs.yml @@ -1,7 +1,7 @@ site_name: redo build system theme: readthedocs -docs_dir: . -site_dir: ../website +docs_dir: Documentation +site_dir: website strict: true pages: