build missing pot files, when building HTML documentation

2017-08-09, Andrey Skvortsov