## Instructions for updating gnulib on development branch

## "cd" to a directory where you want to clone the gnulib repository and run:
git clone git://git.savannah.gnu.org/gnulib.git

## If you already have a local gnulib git repository, pull the latest changes:
git pull

## Query the commit id of the current head:
git rev-parse HEAD

## Locate the line in bootstrap.conf starting with ": ${GNULIB_REVISION=" and
## replace the git commit id with the new one.