sed: Can't open /usr/web/plan9/sources.html --rw-rw-r-- geoff sys 6845 Mar 3 2011 avl.c --rw-rw-r-- geoff sys 193 Oct 31 2005 mkfile sed: Can't open /usr/web/plan9/sources.html