# Present in the VCS but generated by distrib/gen_gps.py
distrib/gnatcoll/runtime.py

# sphinxdoc.
docs/_build/

# GNAT temporary file, not removed for some reason.
GNAT-TEMP-*.TMP

# gnatcoll.gpr.
lib/
obj/

# debian/rules, via gprconfig
default.cgpr
