[slime-devel] Sorting contributors by last name

Hi, attached is a small patch which sorts the Contributors section in the slime docs by last name. Of course it is a heuristic (uses last _word_ as main sorting key), but it works for non-funky cases. (Patch is attached.) On request I can get rid of the AWK dependency (from texinfo-tabulate.awk), but my replacement sed expression does not exactly make the whole thing look prettier (though it is rather short), so I'd leave it for now. I resisted trying to do the sorting with sed, so perhaps there is still hope for me... :) Cheers, Michael