extra: Switch from gnome-doc-utils to yelp-tools
commit10c879c638a95945f7183c01055606aa0b0c1acf
authorJeremy Bicha <jbicha@ubuntu.com>
Sun, 21 Jul 2013 02:42:05 +0000 (20 22:42 -0400)
committerSébastien Granjoux <seb.sfo@free.fr>
Sun, 21 Jul 2013 06:39:28 +0000 (21 08:39 +0200)
tree530f1b87e4b5f98330ede989180a6d588f01c4c0
parent7d1a24977ecb73468439a08539ffd413ea1805dd
extra: Switch from gnome-doc-utils to yelp-tools

https://bugzilla.gnome.org/show_bug.cgi?id=704633
configure.ac
help/Makefile.am