[tor-bugs] #32455 [Core Tor/Tor]: Run "make doxygen" in a travis builder

[Tor Bug Tracker & Wiki]

#32455: Run "make doxygen" in a travis builder
---------------------------------------+-----------------------------------
 Reporter:  nickm                      |          Owner:  rl1987
     Type:  task                       |         Status:  closed
 Priority:  Medium                     |      Milestone:  Tor:
                                       |  0.4.3.x-final
Component:  Core Tor/Tor               |        Version:
 Severity:  Normal                     |     Resolution:  implemented
 Keywords:  doxygen tor-ci 043-should  |  Actual Points:
Parent ID:                             |         Points:  .3
 Reviewer:  nickm                      |        Sponsor:  Sponsor31-can
---------------------------------------+-----------------------------------
Changes (by nickm):

 * status:  needs_revision => closed
 * resolution:   => implemented


Comment:

 Oh, you're right!  I had thought incorrectly that there was a `make all`
 invocation that `SKIP_MAKE_CHECK` didn't skip.  I think this patch is
 fine, then.  Merged, and thanks for your patience!

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/32455#comment:10>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online