master
maint: add files generated by 'make ps' to .gitignore
printenv,env: quote problematic variables
build: update gnulib submodule to latest
build: propagate $SHELL to makeinfo-wrapper.sh
maint: run 'make update-copyright'