From 5535d7d641c255e26a404ac4739bfc368e07c162 Mon Sep 17 00:00:00 2001 From: richard Date: Fri, 8 Oct 2021 05:36:20 +0100 Subject: [PATCH] docs arent made by jekyll. --- docs/.nojekyll | 0 make_docs.sh | 4 +++- 2 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 docs/.nojekyll diff --git a/docs/.nojekyll b/docs/.nojekyll new file mode 100644 index 0000000..e69de29 diff --git a/make_docs.sh b/make_docs.sh index 2986936..4fbf703 100755 --- a/make_docs.sh +++ b/make_docs.sh @@ -4,5 +4,7 @@ python3 raylib/build.py pip3 install sphinx-autoapi myst_parser sphinx_rtd_theme python3 create_stub_pyray.py > pyray/__init__.pyi python3 create_stub_static.py >raylib/__init__.pyi +rm -r docs cd docs-src -make clean ; make html ; cp -a _build/html/. ../docs/ +make clean ; make html ; mv _build/html/ ../docs/ +touch ../docs/.nojekyll \ No newline at end of file