avoid html to be deleted in linux/doc