* devel-docs/tools/*: new tools to generate screenshots for the widget gallery. * devel-docs/Makefile.am: added the tools subdir. * configure.in: modified accordingly.
David Odin