diff options
Diffstat (limited to 'guide-src/make.py')
| -rw-r--r-- | guide-src/make.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guide-src/make.py b/guide-src/make.py index 6f03513..69a0fd1 100644 --- a/guide-src/make.py +++ b/guide-src/make.py @@ -10,7 +10,7 @@ os.makedirs(OUTPUT_DIR, exist_ok=True) try: for f in os.listdir(INPUT_DIR): - if f.endswith('.png'): + if f.endswith('.png') or f.endswith('.svg') or f.endswith('.jpg') or f.endswith('.jpeg'): shutil.copyfile(INPUT_DIR + '/' + f, OUTPUT_DIR + '/' + f) elif not '.' in f: os.makedirs(OUTPUT_DIR + '/' + f, exist_ok=True) |