| import os | |
| import pathlib | |
| import shutil | |
| import sys | |
| from python import runfiles | |
| def main(args): | |
| if not args: | |
| raise ValueError("Empty args: expected paths to copy") | |
| if not (install_to := os.environ.get("READTHEDOCS_OUTPUT")): | |
| raise ValueError("READTHEDOCS_OUTPUT environment variable not set") | |
| install_to = pathlib.Path(install_to) | |
| rf = runfiles.Create() | |
| for doc_dir_runfiles_path in args: | |
| doc_dir_path = pathlib.Path(rf.Rlocation(doc_dir_runfiles_path)) | |
| dest = install_to / doc_dir_path.name | |
| print(f"Copying {doc_dir_path} to {dest}") | |
| shutil.copytree(src=doc_dir_path, dst=dest, dirs_exist_ok=True) | |
| if __name__ == "__main__": | |
| sys.exit(main(sys.argv[1:])) |