Thomas Gellekum ea25e2cf33 Install the contents of the Tools directory by default. This can be ...

turned off by specifying `WITH_TOOLS=NO' when building.

PR:		12436

1999-07-06 13:27:38 +00:00

..

files

…

distinfo

…

Makefile

Install the contents of the Tools directory by default. This can be

1999-07-06 13:27:38 +00:00

pkg-comment

Commit #3/4 to enforce caps, no period.

1999-06-26 19:12:45 +00:00

pkg-descr

…

pkg-plist

Install the contents of the Tools directory by default. This can be

1999-07-06 13:27:38 +00:00