Added the function isFinite(), and replaced the calls to finite() with it.
This was necessary because finite() is not a standard function. Neither can
we use its standard counterpart isfinite(), because it was introduced only
in C99, and therefore it is not supplied by all C++ implementations.

 #!/bin/bash

 cd ${0%update-libstd-tag}../doc

 mv libstdc++.tag libstdc++.tag.old

 wget http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag &&

 rm libstdc++.tag.old || mv libstdc++.tag.old libstdc++.tag