fix pipeline

This commit is contained in:
Evan Burkey 2023-02-28 11:53:27 -08:00
parent ff3e8e6bef
commit 9eb4b82f58
1 changed files with 1 additions and 1 deletions

View File

@ -16,5 +16,5 @@ docs:
- mkdocs build
- ssh debian@fputs.com rm -rf /var/www/fputs/docs/libflint
- ssh debian@fputs.com mkdir -p /var/www/fputs.com/docs/libflint
- ssh debian@fputs.com chmod 755 /var/www/fputs/docs/libflint
- ssh debian@fputs.com chmod 755 /var/www/fputs.com/docs/libflint
- scp -r ./site/* debian@fputs.com:/var/www/fputs.com/docs/libflint/