tools: fix lint issue in doctool

PR-URL: https://github.com/nodejs/node/pull/11658


Reviewed-By: Anna Henningsen <anna@addaleax.net>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>