doc changes from gh-pages
Merge commit 'dc78b896c278a6f41b3db9d533463574ddc7e038' into devel
automatically updated version patch number