1
0
mirror of https://github.com/nlohmann/json.git synced 2025-07-06 06:42:33 +03:00

📝 add more documentation

This commit is contained in:
Niels Lohmann
2020-07-27 14:07:13 +02:00
parent 84c0c76849
commit c006fc9bec
5 changed files with 405 additions and 15 deletions

View File

@ -3,5 +3,8 @@ import os.path
def copy_doxygen(*args, **kwargs):
shutil.copytree('../html', os.path.join(kwargs['config']['site_dir'], 'doxygen'))
print('Copy Doxygen complete')
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')