Makefile.am: use a stamp file so docs don't get rebuilt multiple times
Makefile.am: use a stamp file so docs don't get rebuilt multiple times

gtk2hs/webkit,gtk2hs/vte,gtk2hs/webkit,gtk2hs/vte,gtk2hs/webkit,gtk2hs/gstreamer