From c693f2a6164a6d88557bf8c8f004574e4d7b9f48 Mon Sep 17 00:00:00 2001 From: Christopher Date: Wed, 12 Oct 2016 10:19:15 +0100 Subject: [PATCH] Make docs build script copies docs to github pages repo --- Docs/make_docs.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/Docs/make_docs.sh b/Docs/make_docs.sh index 6eb4727e..53514af6 100755 --- a/Docs/make_docs.sh +++ b/Docs/make_docs.sh @@ -2,3 +2,4 @@ rm -rf ../Build/Docs cp ../Assets/Fungus/Docs/CHANGELOG.txt fungus_docs/change_log.md /Applications/Doxygen.app/Contents/Resources/doxygen ./Doxyfile +cp -R ../Build/Docs/* ../../snozbot.github.io \ No newline at end of file