DevWeb is a web version of Devhelp. It has a rest API for managing books and their versions which makes it easy to update from continuous integration.