I am trying to update my Raspberry Pi, and I've run: replica/pull -v /dist/replica/network The wiki at http://www.plan9.bell-labs.com/wiki/plan9/Updating_an_ARM_system/index.html says that I now have to recompile anything which has changed by running 'mk install' in the appropriate directory. What is / which are the appropriate directory(ies)? I can't seem to figure out where the update source code is. Thanks very much.