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: