WARNING: Do not edit the files in this directory. The files are generated from teal. For the original source files please look in the teal directory.

See Makefile for targets on handling the teal files.