Don't try installing docbook source files into GTK documentation

Closes #18