Next: , Previous: , Up: The Cross-Referencing Tools gnatxref and gnatfind   [Contents][Index]

5.3.3 Configuration Files for gnatxref and gnatfind

Configuration files are used by gnatxref and gnatfind to specify the list of source and object directories to consider. They can be specified via the -p switch.

The following lines can be included, in any order in the file:

Any other line will be silently ignored.