[Bug-gnu-arch] .arch-ids dir can be added as dir.

[Thomas Zander]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

The [dot]arch-ids dir can be added just like any dir, which is wrong IMO, and 
the result is the following error:

address@hidden:uicompiler$tla tree-lint
error finding file id (21: Is a directory)
 path: ./uic/.arch-ids/.arch-ids
PANIC: arch_inventory_id

- -- 
Thomas Zander
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)

iD8DBQE/m7xQCojCW6H2z/QRAjwvAJwMi4TjBgNoU2UhImOyrOB1Mld+1wCg8Ucr
4rcRCfa4lcw12CRyYcadlcE=
=mM0Q
-----END PGP SIGNATURE-----