Peter Simons f32be2da85 haddock: update to version 2.14.2		2014-04-11 22:33:11 +02:00
..
docutils	docutils: update from 0.10 to 0.11	2013-12-18 18:18:25 +02:00
doxygen	doxygen: Remove 1.7	2014-02-28 18:33:45 +01:00
gnome-doc-utils
gtk-doc
haddock	haddock: update to version 2.14.2	2014-04-11 22:33:11 +02:00