fix doxygened docs installation