During the development of Donkey Kong , Mario was known as `` Jumpman '' .
During the development of Donkey Kong , Mario was known as Jumpman .