travis: build html manual