Change scribble command in makefile so that it can link to documentation for packages installed in user scope