jashkenas/docco — pull request #253 by gauravmeena0708 (2013-11-23 07:32:52+00:00)
Title: adding path to jump menu

While creating document for many folders it is hard to guess which file is which from jump to menu.
So I have added relative path in jump to menu.