Taylor Yu authored Nov 13, 2018 and Nick Mathewson committed Nov 14, 2018

Make Doxygen work again after the 0.3.5 source tree moves.  Fixes bug
28435; bugfix on 0.3.5.1-alpha.