Fix execute_script().
[tinc] / doc / GNUmakefile
2000-03-26 Ivo TimmermansInitial revision