PORSCHE 924 TURBO 1980

trying to sell a 1984cc Porsche 924 turbo charged. it does not run because the battery flat. it has been sitting in a garage for about 10 years started up a couple of time in that ten years. bodywork in good condition. all paperwork available throughout the life of the car.