use docbkx instead of ant scripts