------- Comment #14 from matz at gcc dot gnu dot org 2010-01-13 14:33 ------- Yeah, I started to use micro version numbers, but I can't write to the html file on that webserver, only to the subdirectory containing the PDFs. See http://www.x86-64.org/documentation/ for a listing. The current ABI is abi-0.99.4.pdf. I now encode this also into the document itself.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42324