Commit 9393c9374d45317b553bc09326b5e241e96a51a1

Alexandre Duret-Lutz 2003-04-18T17:15:02

* tests/dejagnu3.test, tests/dejagnu4.test, tests/dejagnu5.test: Distribute dejagnu test cases, so that distcheck actually runs them.