EXTRA_DIST=100.txt 12345.html 12345.txt dummyfile.bla phpinfo.php