Under what terms is libstdc++-v3/porting.texi supposed to be licensed, and who is the copyright holder? It has both % Copyright (c) 2000 by CodeSourcery, LLC. All rights reserved. and Copyright (c) 2000 Free Software Foundation, Inc. but with no statement of licence terms. -- Joseph S. Myers jsm28@cam.ac.uk