# File configure.rb, line 113
def AC_CONFIG_HEADER(header)
  $AC_LIST_HEADER = header
end