fix-texinfo.diff
gps-integration.patch
build.patch
