github/electron
1
1
Fork 0
mirror of https://github.com/electron/electron.git synced 2026-01-26 07:48:08 -05:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #8437 from electron/set-version-for-electron-api-json

Browse Source 
set version arg when creating electron-api.json
This commit is contained in:
Kevin Sawicki
2017-01-18 15:13:30 -08:00
committed by GitHub
parent a7891e584a 6af7cfff33
commit 3766fb6652
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
script/create-dist.py
View File

@@ -132,8 +132,9 @@ def copy_license():
shutil.copy2(os.path.join(SOURCE_ROOT, 'LICENSE'), DIST_DIR)
def create_api_json_schema():
outfile = os.path.join(DIST_DIR, 'electron-api.json')
execute(['electron-docs-linter', '--outfile={0}'.format(outfile)])
outfile = os.path.relpath(os.path.join(DIST_DIR, 'electron-api.json'))
execute(['electron-docs-linter', 'docs', '--outfile={0}'.format(outfile),
'--version={}'.format(ELECTRON_VERSION.replace('v', ''))])
def strip_binaries():
for binary in TARGET_BINARIES[PLATFORM]: