Update docs (#1839)

2024-10-30 02:49:08 -07:00
parent 539df95d2c
commit b548801ddb
11 changed files with 165 additions and 198 deletions
--- a/docs/deploy.py
+++ b/docs/deploy.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python3
+# Deploy the documents

 import os
 from datetime import datetime