> No, you are wrong here GDB for win32 also uses gdb.ini This probably means that the manual should be corrected...