mirror of
https://github.com/nlohmann/json.git
synced 2024-07-07 12:23:49 +02:00
11 lines
334 B
Python
11 lines
334 B
Python
import shutil
|
|
import os.path
|
|
|
|
|
|
def copy_doxygen(*args, **kwargs):
|
|
doxygen_dir = os.path.join(kwargs['config']['site_dir'], 'doxygen')
|
|
if not os.path.isdir(doxygen_dir) or not os.listdir(doxygen_dir):
|
|
print('Copy Doxygen files...')
|
|
shutil.copytree('../html', doxygen_dir)
|
|
print('Copy Doxygen complete')
|