>$ cd graph_tool
>$git clone git://git.skewed.de/graph-tool
>then to get the last version :
>$ git pull
>and i get
>fatal: Not a git repository (or any of the parent directories): .git
>No, you don't need to do a git pull like this. You have to do a git
>clone command like you did, but _outside_ the graph-tool directory,
>since the directory will be created for you by git. Note that you need
>to make sure there is _no_ graph-tool directory lying around! Once you
>have cloned the tree, you go to the newly created graph-tool directory
>and do: