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