From 1efef1017e84ccb4f5526e26268dd34dd6b5b588 Mon Sep 17 00:00:00 2001 From: Robert Cohn Date: Mon, 31 Oct 2022 08:50:15 -0500 Subject: [PATCH] publish main in subdirectory --- .github/workflows/ci.yml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c7dc5b9d8e..e0244f325e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -43,10 +43,12 @@ jobs: if: ${{ github.ref == 'refs/heads/main' }} run: | cd gh-pages - rm -rf * touch .nojekyll - cp -r ../build/html/* . - cp ../build/latex/*.pdf . + rm -rf spec + mkdir spec + cd spec + cp -r ../../build/html/* . + cp ../../build/latex/*.pdf . git config user.name github-actions git config user.email github-actions@github.com git add .