extra: Switch from gnome-doc-utils to yelp-tools
tree530f1b87e4b5f98330ede989180a6d588f01c4c0
-rw-r--r-- 29 AUTHORS
-rw-r--r-- 18006 COPYING
-rw-r--r-- 13634 ChangeLog
-rw-r--r-- 159 MAINTAINERS
-rw-r--r-- 34 Makefile.am
-rw-r--r-- 11502 NEWS
-rw-r--r-- 0 README
-rw-r--r-- 1443 anjuta-extras.anjuta
-rw-r--r-- 1267 anjuta-extras.doap
-rwxr-xr-x 641 autogen.sh
-rw-r--r-- 5176 configure.ac
drwxr-xr-x - help
drwxr-xr-x - plugins
drwxr-xr-x - po
drwxr-xr-x - scripts