2018-01-23 9:08 GMT+01:00 Bruno Haible <br...@clisp.org>: > AC_CONFIG_HEADER has been replaced with AC_CONFIG_HEADERS in 2001 > and is no longer documented.
Applied, thank you. Andreas
2018-01-23 9:08 GMT+01:00 Bruno Haible <br...@clisp.org>: > AC_CONFIG_HEADER has been replaced with AC_CONFIG_HEADERS in 2001 > and is no longer documented.
Applied, thank you. Andreas