17:11 antoine 

Update devel/doxygen to 1.8.10

PR:		201365
exp-run:	self

 

23:25 pawel 

- Update devel/doxygen to version 1.8.8 [1]
- Fix graphics/partio plist problem after doxygen update [2]

PR:		194178 [1]
Submitted by:	maintainer [1]
Approved by:	mva@ [2]

 

19:39 antoine 

Update devel/doxygen to 1.8.7
Update dependent ports to build with it

Most of work by:	pi@
Exp-run:	self
PR:		ports/190943

 

07:54 pi 

revert to doxygen 1.8.3.1 for now

 

07:22 pi 

devel/doxygen: 1.8.3.1 -> 1.8.7

In a second step, the python build part has to be tested (still open)

PR:		ports/190943
Submitted by:	Naram Qashat <cyberbotx@cyberbotx.com> (maintainer)