grep VERSION doc/version.texi | cut -d " " -f3
