Merge branch 'master', remote-tracking branch 'git/www'
[xboard.git] / HOWTO
1 To update the docs, copy xboard.texi, version.texi and copyright.texi in the current directory and run:
2
3 TEX=tex ./gendocs.sh --email bug-xboard@gnu.org xboard "GNU XBoard manual"