Fix the last texinfo @ref{.
Merge benallard/buildbot:patch-1 (PR #1301)