Added gnomemarshal.list to EXTRA_DIST and fix that initial build problem with gnomemarshal.h.
Added gnomemarshal.list to EXTRA_DIST and fix that initial build problem
with gnomemarshal.h.

Distrotech/libgnomeui,Distrotech/libgnomeui,Distrotech/libgnomeui