diff options
author | wl <wl> | 2004-10-15 05:21:55 +0000 |
---|---|---|
committer | wl <wl> | 2004-10-15 05:21:55 +0000 |
commit | 6e5b054893a4e8a80968917fccbbf70fe28a240f (patch) | |
tree | fa9a0261a877961bff39e98e6f29a6bf165c3228 /configure | |
parent | ad6de87c27b848a7fe1dc11751af77b0f5bf8da1 (diff) | |
download | groff-6e5b054893a4e8a80968917fccbbf70fe28a240f.tar.gz |
* Makefile.in (check): Depend on `site.exp' and `docheck'.
(docheck): Run dejagnu's `runtest' if it exists.
(site.exp): Create dejagnu configuration file.
* Makefile.sub (DISTCLEANFILES): Add files related to dejagnu.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions