libstdc++3-doc: extra-license-file
