fix docs build fix make distcheck

Original commit message from CVS:
fix docs build
fix make distcheck
9 files changed