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