Re: HTML output buglets

[Karl Berry]

Hi Tom,

    <link href="Concept-Index.html#Concept-Index" rel="previous" title="Concept 
Index">
    From http://www.w3.org/TR/html401/types.html#h-6.12:
        Prev
        Refers to the previous document in an ordered series of
        documents. Some user agents also support the synonym "Previous".

    I think this means that "prev" is the preferred form.

I agree.  Patrice?  I hope that simply changing it is enough, no need to
worry about having both rel="prev" and rel="previous".

(I'd change it but updating all the tests looks pretty daunting, sorry.)

Thanks,
k