Publish HTMLtoc sources