/dist/

• ../
• checkman.awk
• mkfile