From ac0248ff819eb8f45ef6571953ba3d008cc2a9f5 Mon Sep 17 00:00:00 2001
From: Simon Lydell <simon.lydell@gmail.com>
Date: Sun, 22 May 2016 18:32:29 +0200
Subject: [PATCH] Update release procedure docs

---
 documentation/tools.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/documentation/tools.md b/documentation/tools.md
index bb43430..db5a454 100644
--- a/documentation/tools.md
+++ b/documentation/tools.md
@@ -176,6 +176,7 @@ Before making a release, it might be wise to:
 - Run `npm update` and/or `npm outdated` to see if there are any updates to
   dependencies. Investigate what’s new and test!
 - Run `gulp sync-locales` to make sure that no translation has been left behind.
+- Run `gulp lint` and `npm run addons-linter` to catch potential problems.
 - Run `gulp --test` to make sure the tests pass.
 - Inspect the `build/` directory to see that nothing strange has been included
   or generated by `gulp build`.
-- 
2.39.3