Update .tocgen