# Location of the autoheader tool. If this is omitted the Autodist will not
# run autoheader. User need to run it manually then.
# Location of the autoheader tool. If this is omitted the Autodist will not
# run autoheader. User need to run it manually then.