Implemented html to docbook conversion