diff --git a/jode/scripts/php2html.pl b/jode/scripts/php2html.pl new file mode 100644 index 0000000..10a670e --- /dev/null +++ b/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";