# 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" )