eburk/libflint
1
0
Fork 0
Code Actions Wiki Activity

cleanup docs folder

Browse Source
This commit is contained in:
Evan Burkey
2023-02-28 10:08:18 -08:00
parent 4f3cc275ec
commit af9b56f0e4
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.gitlab-ci.yml
View File

@@ -14,5 +14,5 @@ docs:
- eval "$(ssh-agent -s)" - eval "$(ssh-agent -s)"
- ssh-add ~/.ssh/id_rsa - ssh-add ~/.ssh/id_rsa
- mkdocs build - mkdocs build
- ssh debian@fputs.com mkdir -p /var/www/fputs.com/docs - ssh debian@fputs.com rm -rf /var/www/fputs/docs/libflint; mkdir -p /var/www/fputs.com/docs/libflint
- scp -r ./site/* debian@fputs.com:/var/www/fputs.com/docs/ - scp -r ./site/* debian@fputs.com:/var/www/fputs.com/docs/libflint/