ros/catkin-sphinx — pull request #5 by tkruse (2012-11-12 14:37:57+00:00)
Title: Use clean API function to get the theme path

change is backward compatible, since theme did not move. I considered creating a python module instead, which is a bit cleaner and thus more future proof, not sure whether that's worth it.