Control: tags -1 + moreinfo Le 12/10/2012 19:44, Ryan Kavanagh a écrit : > All of the links (well, the dozen or so I've tried to follow, excluding > the alphabetical ones at the very top) in > /usr/share/doc/libssreflect-coq/html/index.html are broken. Is that still true? I just tried with 1.5~rc1-2 and I couldn't find broken links. Maybe it was just fixed meanwhile... Cheers, -- Stéphane