Remove docs/TODO, docs/policies.txt, docs/services/txt. All that

[mlt] / reconfigure

#!/bin/sh
if [ -s "config.log" ]; then
        $(tail -1 config.log) $@
else
        echo The file \"config.log\" does not exist.
        echo You must run configure first. 
fi