/Admin/
drwxr-xr-x [up]
-rw-r--r-- 1997-12-19 10:13 +0100 590 BUGS
-rw-r--r-- 1997-12-19 10:13 +0100 137 README
-rwxr-xr-x 1997-12-19 10:13 +0100 2408 fixencoding
-rwxr-xr-x 1997-12-19 10:13 +0100 3153 makedist
-rwxr-xr-x 1997-12-19 10:13 +0100 203 psbooklet