doc/gnubg/gnubg.info