On 7 Jun 2001, Gabriel Dos Reis wrote: >| gcc/cp/gxxint.texi has no copyright notice or licence terms. > I thought Mark removed definitely cp/gxxint.texi. Am I wrong? No, I stupidly missed that when preparing my response. That's all. <oops> Sorry, Gerald -- Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/