| Richard Levasseur | ede4fd4 | 2023-10-17 13:17:34 -0700 | [diff] [blame] | 1 | import os |
| 2 | import pathlib |
| 3 | import shutil |
| 4 | import sys |
| 5 | |
| 6 | from python import runfiles |
| 7 | |
| 8 | |
| 9 | def main(args): |
| 10 | if not args: |
| 11 | raise ValueError("Empty args: expected paths to copy") |
| 12 | |
| 13 | if not (install_to := os.environ.get("READTHEDOCS_OUTPUT")): |
| 14 | raise ValueError("READTHEDOCS_OUTPUT environment variable not set") |
| 15 | |
| 16 | install_to = pathlib.Path(install_to) |
| 17 | |
| 18 | rf = runfiles.Create() |
| 19 | for doc_dir_runfiles_path in args: |
| 20 | doc_dir_path = pathlib.Path(rf.Rlocation(doc_dir_runfiles_path)) |
| 21 | dest = install_to / doc_dir_path.name |
| 22 | print(f"Copying {doc_dir_path} to {dest}") |
| 23 | shutil.copytree(src=doc_dir_path, dst=dest, dirs_exist_ok=True) |
| 24 | |
| 25 | |
| 26 | if __name__ == "__main__": |
| 27 | sys.exit(main(sys.argv[1:])) |
