Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
doc: fix doc build #5095
added a commit
this pull request
Jun 27, 2015
@tchaikov for backporting it helps to be strict and have a 1 to 1 correspondance between pull requests and issues. Could you add a reference to the commit that fixes this issue in master ? Or a short explanation about why it does not need fixing in master. With that I'll create the necessary issues.
@dachary i will keep it in my mind next time.
there are a bunch of commits that fix this issue: see #4291
the reason why we don't need this fix in master: