Commit 9fadfa9ef480ef5c55eef7a32f17f1055e449977

Paul Eggert 2007-04-13T21:21:27

* build-aux/bootstrap (gnulib_tool_option_extras): New var, used by gzip bootstrap.conf to avoid dragging in i18n machinery. (gnulib_tool_option): Use it.