coin313.3coin4 man page

coin313 — New Features in Coin v3.1.3  This is a bugfix release.

Due to an underlying buildsystem upgrade, the default location of the generated HTML docs changed from $datarootdir/share/Coin/html to $datarootdir/share/doc/coin/html.