Minor
[gtk-doc] Set up ignore-files