Tweak gitignore to unignore pages in gnome-help/C