Added PDF versions of Flags.

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.

1 files changed, 20 insertions, 26 deletions

diff --git a/Docs/Support/generate-flag-images b/Docs/Support/generate-flag-images
index 903c610d4bc..21140388012 100755
--- a/Docs/Support/generate-flag-images
+++ b/Docs/Support/generate-flag-images
@@ -1,37 +1,31 @@
 #!/bin/sh
 
-tmp=/tmp/temp-pic.pnm
-
-all="argentina austria czech-republic germany great-britain hungary israel
-italy russia portugal sweden canada usa south-korea japan taiwan australia
-romania denmark france estonia poland singapore bulgaria south-africa
-netherlands chile ukraine greece finland switzerland croatia china
-brazil spain iceland ireland denmark"
-
-new=""
+flags=`grep @image mirrors.texi | cut -d" " -f1 | cut -d/ -f2 | tr -d "}" | sort | uniq`
 
 set -x
-cd  Flags
-
-# for c in $all; do cp empty.png $c.pdf; done; exit
+cd Flags
 
-for c in $new
+for c in $flags
 do
-  # For HTML version
-  giftopnm ../Raw-Flags/$c.gif | \
-  pnmscale -xsize 30 > $tmp
-  pnmpaste $tmp 1 1 ../Images/flag-background.pnm > $c.pnm
-  rm -f $tmp
-  # For web version
+  # For PNM, to be used later
+  giftopnm ../Raw-Flags/$c.gif | pnmscale -xsize 30 > $c-tmp.pnm
+  pnmpaste $c-tmp.pnm 1 1 ../Images/flag-background.pnm > $c.pnm
+  rm -f $c-tmp.pnm
+
+  # For GIF version
   ppmtogif $c.pnm > $c.gif
   # or cjpeg -optimize -quality 70 -outfile $c.jpg
-  # For PDF version (this coredumps. use empty file until fixed)
-  # pnmtopng -verbose $c.pnm > $c.png
-  cp ../Images/empty.png $c.pdf
-  # For TeX version
-  giftopnm ../Raw-Flags/$c.gif | \
-   pnmscale -xsize 30 | \
-   pnmtops -noturn > $c.eps
+
+  # For EPS version
+  pnmtops -noturn $c.pnm > $c.eps
+
+  # For PDF version
+  ps2pdf $c.eps $c.pdf
+
   # For text version
   echo -n "" > $c.txt
+
+  # PNM isn't really needed
+  rm -f $c.pnm
+
 done