documentation for pretty and debug compiler options