URI: 

   DIR CVS
  TEXT ctf-spec.info
  TEXT ctf-spec.texi
  TEXT local.mk