diff options
Diffstat (limited to 'tools/doc/html.js')
| -rw-r--r-- | tools/doc/html.js | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tools/doc/html.js b/tools/doc/html.js index e251925995..1c44c5f7d3 100644 --- a/tools/doc/html.js +++ b/tools/doc/html.js @@ -125,9 +125,7 @@ function toID(filename) { * opts: lexed, filename, template, nodeVersion. */ function render(opts, cb) { - var lexed = opts.lexed; - var filename = opts.filename; - var template = opts.template; + var { lexed, filename, template } = opts; const nodeVersion = opts.nodeVersion || process.version; // get the section |