- fix for texinfo 5.1
- install docs properly
- rel 4