From 627dfd5442928f6cf5f9cb51e01d33b0ec5a61c7 Mon Sep 17 00:00:00 2001 From: bsrdjan Date: Wed, 4 Oct 2023 14:45:19 +0200 Subject: [PATCH] docs: gh-pages update by tox --- tox.ini | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tox.ini b/tox.ini index f26ac47..c83bedb 100644 --- a/tox.ini +++ b/tox.ini @@ -61,11 +61,10 @@ allowlist_externals = git rm cp -deps = sphinx commands = git checkout gh-pages rm -rf *.html searchindex.js objects.inv _images _sources _static - cp -R {envtmpdir}/docs/tmp/html/. . + cp -R {toxworkdir}/docs/tmp/html/. . git add . git commit -m "gh-pages update by tox" git checkout main