jtc 2f567fef23 Only install header files if they are different from the ones that are ... allready installed.		1994-05-22 04:20:02 +00:00
..
src
Makefile	Only install header files if they are different from the ones that are	1994-05-22 04:20:02 +00:00