Comment 1 for bug 55345

Thanks for your bug, this upload fixes the issue:

 gtksourceview (1.7.1-0ubuntu3) edgy; urgency=low
 .
   * debian/libgtksourceview-doc.links:
      - link to the correct directory so devhelp lists the API correctly
        (Ubuntu: #55345)