pthread documentation: make it look nice in doxygen