Cherry-pick of "Merge branch 'DictGenDepFix-master-20180124' into 'master'" into 1.0
Dictionary Generation Dependency Fixes, master branch (2018.01.24.)
See merge request !217 (merged)
(cherry picked from commit 89405556)
- 3d40073a Taught the atlas_add_dictionary(...) function to trigger the re-generation