Add html manual generation