Update distribution files.

--HG--
branch : dtrg-buildsystem

plat/linux386/.distr

@@ -1,26 +1,8 @@
 descr
 boot.s
-pmfile
+build.mk
 README
+include/sys/ioctl.h
 include/ack/config.h
 include/unistd.h
-libsys/pmfile
-libsys/_exit.c
-libsys/_hol0.s
 libsys/_syscall.s
-libsys/brk.c
-libsys/close.c
-libsys/creat.c
-libsys/errno.s
-libsys/getpid.c
-libsys/gettimeofday.c
-libsys/isatty.c
-libsys/kill.c
-libsys/libsys.h
-libsys/lseek.c
-libsys/open.c
-libsys/read.c
-libsys/sbrk.c
-libsys/signal.c
-libsys/syscalls.h
-libsys/write.c