remove redundant script

2023-05-03 14:29:03 -07:00 · 2023-05-03 14:29:03 -07:00 · 521f346b6f
commit 521f346b6f
parent 594c1922bc
1 changed files with 0 additions and 6 deletions
--- a/docs.sh
+++ b/docs.sh
@ -1,6 +0,0 @@
-#!/usr/bin/env bash
-
-mkdocs build
-ssh debian@fputs.com rm -rf /var/www/fputs.com/docs/libflint
-ssh debian@fputs.com mkdir -p /var/www/fputs.com/docs/libflint
-scp -r site/* debian@fputs.com:/var/www/fputs.com/docs/libflint/