MANPATH	%%PREFIX%%/%%TTCN3_DIR%%/man
