To update the docs, copy xboard.texi, version.texi and copyright.texi in the current directory and run: TEX=tex ./gendocs.sh --email bug-xboard@gnu.org xboard "GNU XBoard manual"