is supposed to become the central repository for documentation guidelines
- re-fixed wording in configure.in according to Manual style guidelines
  (thanks to Paul for the hint)