1.1--- a/appl/cmd/mkfile Fri Jul 13 15:40:18 2007 +0200 1.2+++ b/appl/cmd/mkfile Fri Jul 13 16:49:15 2007 +0200 1.3@@ -1,5 +1,8 @@ 1.4 <../../mkconfig 1.5 1.6+DIRS=\ 1.7+ venti\ 1.8+ 1.9 TARG=\ 1.10 vacget.dis\ 1.11 vread.dis\