[ros-diffs] [mf] 18218: Doxygen scripts