v9.10
maint: add files generated by 'make ps' to .gitignore
doc: fix date(1) synopses etc
build: update gnulib submodule to latest
doc: post process html with non-GNU make programs
maint: run 'make update-copyright'