Commit ac3f25163388ecee278d681bf65963c781ae5df2

Bruno Haible 2024-03-17T13:46:04

gnulib-tool: Add undocumented option --gnulib-dir. * gnulib-tool.sh: Accept --gnulib-dir=... option. * pygnulib/constants.py (init_DIRS): New function. * pygnulib/main.py (main): Accept --gnulib-dir=... option. Invoke init_DIRS. Expect .git directory to be present in DIRS['root'], not APP['root']. * pygnulib/GLImport.py (GLImport.execute): Use DIRS['root'], not APP['root'].