Fixed up Support/generate-flag-images.


BitKeeper/deleted/.del-kroatia.eps~f50fcd444e7efceb:
  Delete: Docs/Flags/kroatia.eps
BitKeeper/deleted/.del-kroatia.gif~bea7bbe0316d462d:
  Delete: Docs/Flags/kroatia.gif
BitKeeper/deleted/.del-kroatia.txt~dde7f89f25d616b2:
  Delete: Docs/Flags/kroatia.txt
BitKeeper/deleted/.del-island.eps~8cec5a55768bc59e:
  Delete: Docs/Flags/island.eps
BitKeeper/deleted/.del-island.gif~e274d5e96ee0975a:
  Delete: Docs/Flags/island.gif
BitKeeper/deleted/.del-island.txt~301ede0f81c5f3e1:
  Delete: Docs/Flags/island.txt
BitKeeper/deleted/.del-costarica.eps~31ade79a89683616:
  Delete: Docs/Flags/costarica.eps
BitKeeper/deleted/.del-costarica.gif~364ca7338682f71:
  Delete: Docs/Flags/costarica.gif
BitKeeper/deleted/.del-costarica.txt~e155c53c10374ff:
  Delete: Docs/Flags/costarica.txt
BitKeeper/deleted/.del-south-africa1.eps~111e4f92f4562e9d:
  Delete: Docs/Flags/south-africa1.eps
BitKeeper/deleted/.del-south-africa1.gif~1ea38de5a535f732:
  Delete: Docs/Flags/south-africa1.gif
BitKeeper/deleted/.del-south-africa1.txt~87a53fdcd2149c6e:
  Delete: Docs/Flags/south-africa1.txt
Docs/Flags/argentina.eps:
  Regenerated Flags.
Docs/Flags/argentina.gif:
  Regenerated Flags.
Docs/Flags/australia.eps:
  Regenerated Flags.
Docs/Flags/australia.gif:
  Regenerated Flags.
Docs/Flags/austria.eps:
  Regenerated Flags.
Docs/Flags/austria.gif:
  Regenerated Flags.
Docs/Flags/belgium.eps:
  Regenerated Flags.
Docs/Flags/belgium.gif:
  Regenerated Flags.
Docs/Flags/bulgaria.eps:
  Regenerated Flags.
Docs/Flags/bulgaria.gif:
  Regenerated Flags.
Docs/Flags/canada.eps:
  Regenerated Flags.
Docs/Flags/canada.gif:
  Regenerated Flags.
Docs/Flags/chile.eps:
  Regenerated Flags.
Docs/Flags/chile.gif:
  Regenerated Flags.
Docs/Flags/china.eps:
  Regenerated Flags.
Docs/Flags/china.gif:
  Regenerated Flags.
Docs/Flags/czech-republic.eps:
  Regenerated Flags.
Docs/Flags/czech-republic.gif:
  Regenerated Flags.
Docs/Flags/denmark.eps:
  Regenerated Flags.
Docs/Flags/denmark.gif:
  Regenerated Flags.
Docs/Flags/estonia.eps:
  Regenerated Flags.
Docs/Flags/estonia.gif:
  Regenerated Flags.
Docs/Flags/finland.eps:
  Regenerated Flags.
Docs/Flags/finland.gif:
  Regenerated Flags.
Docs/Flags/france.eps:
  Regenerated Flags.
Docs/Flags/france.gif:
  Regenerated Flags.
Docs/Flags/germany.eps:
  Regenerated Flags.
Docs/Flags/germany.gif:
  Regenerated Flags.
Docs/Flags/great-britain.eps:
  Regenerated Flags.
Docs/Flags/great-britain.gif:
  Regenerated Flags.
Docs/Flags/greece.eps:
  Regenerated Flags.
Docs/Flags/greece.gif:
  Regenerated Flags.
Docs/Flags/hungary.eps:
  Regenerated Flags.
Docs/Flags/hungary.gif:
  Regenerated Flags.
Docs/Flags/iceland.eps:
  Regenerated Flags.
Docs/Flags/iceland.gif:
  Regenerated Flags.
Docs/Flags/indonesia.eps:
  Regenerated Flags.
Docs/Flags/indonesia.gif:
  Regenerated Flags.
Docs/Flags/ireland.eps:
  Regenerated Flags.
Docs/Flags/ireland.gif:
  Regenerated Flags.
Docs/Flags/italy.eps:
  Regenerated Flags.
Docs/Flags/italy.gif:
  Regenerated Flags.
Docs/Flags/japan.eps:
  Regenerated Flags.
Docs/Flags/japan.gif:
  Regenerated Flags.
Docs/Flags/latvia.eps:
  Regenerated Flags.
Docs/Flags/latvia.gif:
  Regenerated Flags.
Docs/Flags/mexico.eps:
  Regenerated Flags.
Docs/Flags/mexico.gif:
  Regenerated Flags.
Docs/Flags/netherlands.eps:
  Regenerated Flags.
Docs/Flags/netherlands.gif:
  Regenerated Flags.
Docs/Flags/norway.eps:
  Regenerated Flags.
Docs/Flags/norway.gif:
  Regenerated Flags.
Docs/Flags/philippines.eps:
  Regenerated Flags.
Docs/Flags/philippines.gif:
  Regenerated Flags.
Docs/Flags/poland.eps:
  Regenerated Flags.
Docs/Flags/poland.gif:
  Regenerated Flags.
Docs/Flags/portugal.eps:
  Regenerated Flags.
Docs/Flags/portugal.gif:
  Regenerated Flags.
Docs/Flags/romania.eps:
  Regenerated Flags.
Docs/Flags/romania.gif:
  Regenerated Flags.
Docs/Flags/russia.eps:
  Regenerated Flags.
Docs/Flags/russia.gif:
  Regenerated Flags.
Docs/Flags/singapore.eps:
  Regenerated Flags.
Docs/Flags/singapore.gif:
  Regenerated Flags.
Docs/Flags/slovenia.eps:
  Regenerated Flags.
Docs/Flags/slovenia.gif:
  Regenerated Flags.
Docs/Flags/south-africa.eps:
  Regenerated Flags.
Docs/Flags/south-africa.gif:
  Regenerated Flags.
Docs/Flags/south-korea.eps:
  Regenerated Flags.
Docs/Flags/south-korea.gif:
  Regenerated Flags.
Docs/Flags/spain.eps:
  Regenerated Flags.
Docs/Flags/spain.gif:
  Regenerated Flags.
Docs/Flags/sweden.eps:
  Regenerated Flags.
Docs/Flags/sweden.gif:
  Regenerated Flags.
Docs/Flags/switzerland.eps:
  Regenerated Flags.
Docs/Flags/switzerland.gif:
  Regenerated Flags.
Docs/Flags/taiwan.eps:
  Regenerated Flags.
Docs/Flags/taiwan.gif:
  Regenerated Flags.
Docs/Flags/turkey.eps:
  Regenerated Flags.
Docs/Flags/turkey.gif:
  Regenerated Flags.
Docs/Flags/ukraine.eps:
  Regenerated Flags.
Docs/Flags/ukraine.gif:
  Regenerated Flags.
Docs/Flags/usa.eps:
  Regenerated Flags.
Docs/Flags/usa.gif:
  Regenerated Flags.
Docs/Flags/yugoslavia.eps:
  Regenerated Flags.
Docs/Flags/yugoslavia.gif:
  Regenerated Flags.
Docs/Support/generate-flag-images:
  Now greps country list from mirrors.texi.
  Now generates PDF images as well.
Docs/mirrors.texi:
  Fixed flags.