On Wed, Dec 1, 2010 at 10:42 PM, Sunny Srivastava <research.baba@gmail.com> wrote: > $ git pull && make clean && make && make doc && make install Yes, that should be all right. -- Suvayu Open source is the future. It sets us free.