wscript: copy the right license file to datadir
This commit is contained in:
parent
10093753d0
commit
62b5b43fe0
3
wscript
3
wscript
|
@ -575,7 +575,8 @@ def build(bld):
|
||||||
|
|
||||||
bld.install_files('${DATA_DIR}', status_images)
|
bld.install_files('${DATA_DIR}', status_images)
|
||||||
bld.install_files('${DATA_DIR}', "art/ladish-logo-128x128.png")
|
bld.install_files('${DATA_DIR}', "art/ladish-logo-128x128.png")
|
||||||
bld.install_files('${DATA_DIR}', ["COPYING", "AUTHORS", "README", "NEWS"])
|
bld.install_files('${DATA_DIR}', ["AUTHORS", "README", "NEWS"])
|
||||||
|
bld.install_as('${DATA_DIR}/COPYING', "gpl2.txt")
|
||||||
|
|
||||||
if bld.env['BUILD_DOXYGEN_DOCS'] == True:
|
if bld.env['BUILD_DOXYGEN_DOCS'] == True:
|
||||||
html_docs_source_dir = "build/default/html"
|
html_docs_source_dir = "build/default/html"
|
||||||
|
|
Loading…
Reference in New Issue