deploy.py

# Deploy the documents	

import os
from datetime import datetime


def run_cmd(cmd):	
    print(cmd)	
    os.system(cmd)	


run_cmd("cd $DOC_SITE_PATH; git pull")	

# (Optional) Remove old files	
# run_cmd("rm -rf $ALPA_SITE_PATH/*")	

run_cmd("cp -r _build/html/* $DOC_SITE_PATH")	

cmd_message = f"Update {datetime.now().strftime('%Y-%m-%d %H:%M:%S')}"	
run_cmd(	
    f"cd $DOC_SITE_PATH; git add .; git commit -m '{cmd_message}'; git push origin main"	
)