Adapt doc file to use same format than z3ctable