1#!/usr/bin/env php 2<?php 3 4function globtpl($gl) { 5 foreach (glob($gl) as $fn) { 6 echo "$fn\n"; 7 system("php $fn > www/$fn"); 8 touch("www/$fn", filemtime($fn)); 9 } 10} 11globtpl("*.html"); 12globtpl("*.css"); 13 14system("cp -a *.ttf *.png www/"); 15 16$olddir = getcwd(); 17chdir ("../mdcached/doc/"); 18system("make"); 19system("make pdf"); 20chdir($olddir); 21 22system("cp ../mdcached/doc/UserGuide.html www/"); 23system("cp ../mdcached/doc/UserGuide.pdf www/"); 24touch("www/UserGuide.html", filemtime("../mdcached/doc/UserGuide.txt")); 25touch("www/UserGuide.pdf", filemtime("../mdcached/doc/UserGuide.txt")); 26 27