* configure.in: If we're not using dotlocking, there is no need to set inc
[mmh] / DATE
1 1 Jul 2003