Fix dependencies, rebuild with libisl and build documentation

source.sh

@@ -30,6 +30,9 @@ build() {
                --with-system-zlib        \
                --enable-languages=c,c++,fortran,objc,obj-c++,m2
   make
+
+  # Make documentation
+  make -O -C $CHOST/libstdc++-v3/doc doc-man-doxygen
 }
 
 # The check function is executed in the source directory
@@ -100,6 +103,11 @@ package_gcc() {
 }
 
 package_gcc-libs() {
+  cd build
+  
+  # Install libstdc++ man pages
+  make -C $CHOST/libstdc++-v3/doc DESTDIR="$BPM_OUTPUT" doc-install-man
+
   # Install package license
   install -Dm644 "$BPM_SOURCE"/{COPYING3,COPYING.RUNTIME} -t "$BPM_OUTPUT"/usr/share/licenses/gcc-libs/
 }