Added new script to convert php to html.

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@1350 379699f6-c40d-0410-875b-85095c16579e

jode/scripts/php2html.pl

@@ -0,0 +1,15 @@
+#!/usr/bin/perl -w
+
+my $num = 0;
+for (@ARGV) {
+  next if $_ !~ /\.php$/;
+  $html = $php = $_;
+  $html =~ s/\.php$/.html/;
+  
+  $ENV{extension}="html";
+  if (! -e "$html" || (-M "$php" <= -M "$html")) {
+    $num++;
+    system "php -f $php >$html";
+  }
+}
+print $num . " html files updated.\n";