gitea-mirror/hacktricks-cloud
1
0
Fork 0
mirror of https://github.com/HackTricks-wiki/hacktricks-cloud.git synced 2025-12-06 21:01:11 -08:00
Code Issues Packages Projects Releases Wiki Activity

Update translator.py

Browse Source
This commit is contained in:
SirBroccoli
2025-01-03 11:42:03 +01:00
committed by GitHub
parent e67cc3f450
commit 8a25a0856f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/translator.py
View File

@@ -226,7 +226,7 @@ def copy_dirs(source_path, dest_path):
print(f"Copied .gitbook folder from {source_folder} to {destination_folder}")
def copy_files(source_path, dest_path):
file_names = ["src/SUMMARY.md", "hacktricks-preprocessor.py", "book.toml", ".gitignore"]
file_names = ["src/SUMMARY.md", "hacktricks-preprocessor.py", "book.toml", ".gitignore", "src/robots.txt"]
for file_name in file_names:
source_filepath = os.path.join(source_path, file_name)
dest_filepath = os.path.join(dest_path, file_name)