Use a consistent GNU copyright header throughout.
[dejagnu.git] / doc / 
treec72b7137e3aaf2ed06d425a658bb66f0887563c5
drwxr-xr-x   ..
-rw-r--r-- 23 .cvsignore
-rw-r--r-- 1915 Makefile.am
-rw-r--r-- 10283 Makefile.in
-rw-r--r-- 170 README.Writers
-rw-r--r-- 146614 dejagnu.texi
-rw-r--r-- 19725 overview.sgml
drwxr-xr-x - overview
-rw-r--r-- 146817 ref.sgml
-rw-r--r-- 3273 runtest.1
-rw-r--r-- 120964 user.sgml