Fix missing 'info' page (#248)

This commit is contained in:
Roman Demidov
2020-12-21 17:48:22 +03:00
committed by GitHub
parent b20c55aab5
commit 9da9dde15b

View File

@ -135,7 +135,7 @@ def make():
base.copy_exe(core_build_dir + "/bin/" + platform_postfix, tools_dir, "allthemesgen")
branding_dir = server_dir + "/branding"
if("" != config.option("branding")):
if("" != config.option("branding") and "onlyoffice" != config.option("branding")):
branding_dir = git_dir + '/' + config.option("branding") + '/server'
#dictionaries