On Thu, Sep 8, 2016 at 5:50 PM, Richard Owlett wrote: > In the interim, are Debian version of man pages available elsewhere on the > net. Some will be different but most will be the same in the Ubuntu manual pages: http://manpages.ubuntu.com/ -- bye, pabs https://wiki.debian.org/PaulWise