ignore built documentation

2017-08-09, Andrey Skvortsov