Make HTML5 from Boavistense reader