#ifndef DATADOC_H_HEADER_INCLUDED
#define DATADOC_H_HEADER_INCLUDED

void 
gen_data_doc( const char *source_dir, const char *dest_dir, 
			  const	char *display_name,
			  const char *display_purpose,
			  ASDocType doc_type ) ;

#endif

