manual.texi More mirror list maintenance

indonesia.eps	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/indonesia.eps
yugoslavia.eps	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/yugoslavia.eps
yugoslavia.gif	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/yugoslavia.gif
yugoslavia.txt	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/yugoslavia.txt
indonesia.gif	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/indonesia.gif
indonesia.txt	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/indonesia.txt