DIST-3pi-20120525-tables = \
$(TGT-DVODIST)/3pi.20120525.tables/CSV/index.php \
$(TGT-DVODIST)/3pi.20120525.tables/FITS/index.php \
$(TGT-DVODIST)/3pi.20120525.tables/index.php
