2003-10-25  Sven Neumann  <sven@gimp.org>

	* app/config/gimpconfig-dump.c: corrected the source of the
	man-page; it's not any longer created by gimpconfig-dump, but by
	'gimp --dump-gimprc-manpage'.

	* docs/gimp-1.3.1.in
	* app/main.c (gimp_show_help): Reordered command-line options and
	documented the new --dump-gimprc option.