<?php
$include_file = "realskies.inc";
exec("grep declare $include_file | grep \" sky_\" > textures.txt");

$f = fopen("textures.txt", "r");
echo("rm files.list");
while (!feof($f))
{
    $line = fgets($f, 4096);
    $line = preg_replace("/#declare/","", $line);
    $nline = preg_split("/=/", $line);
    $line = preg_replace("/\n/","",$nline[0]);
    $line = preg_replace("/ /","",$line);
    if ($line != "")
    {
        exec("cat final.pov | sed 's/%texture%/$line/g' > $line.pov\n");
        exec("povray +W240 +H180 +A0.1 +AM2 +R3 $line.pov\n");
        exec("convert -quality 88 $line.png $line.jpg");
        exec("echo '$line!!!library/$line.jpg' >> files.list");
    }
}
?>