@name dejagnu-1.3
@cwd /usr/local
bin/runtest
@comment MD5:3ee84024a3414799d7645aff15837cc8
@unexec install-info --delete %D/info/dejagnu.info %D/info/dir
info/dejagnu.info
@comment MD5:ce1e459f23aa3f34b7d6f6b1f64fc9e6
@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir
@exec install-info %D/info/dejagnu.info %D/info/dir
lib/dejagnu/bug.exp
@comment MD5:6e569f76732adc847d802145fc981af8
lib/dejagnu/config.guess
@comment MD5:16b6cac6ae297f72db65897ac7aa0337
lib/dejagnu/debugger.exp
@comment MD5:fff3106bd9539cc4360d0b44a2350f4b
lib/dejagnu/dg.exp
@comment MD5:8e214a4bf627b47a4a15594c29b3aefd
lib/dejagnu/framework.exp
@comment MD5:5d5089ec0b95f384726c027f8778849b
lib/dejagnu/libgloss.exp
@comment MD5:45ddf6e2d96a154751923d488286193d
lib/dejagnu/remote.exp
@comment MD5:c13463bf8960ae7590419d193ed9e5bf
lib/dejagnu/runtest.exp
@comment MD5:7770d38a0c842d94935f3cb185c24fc4
lib/dejagnu/target.exp
@comment MD5:264d338f3a771775f6a7753d61002e08
lib/dejagnu/udi.exp
@comment MD5:2940c1bf84d1777a78027ef310c1eb41
lib/dejagnu/util-defs.exp
@comment MD5:989872db665381c2078b05e1b0e8eaf4
lib/dejagnu/utils.exp
@comment MD5:4b6a5b86279a51c629ec1b208741fb7f
lib/dejagnu/vrtx.exp
@comment MD5:73dc18553f569155ccd3f59833a0b424
lib/dejagnu/vxworks.exp
@comment MD5:1567e04c9958bfb67ae7edf99b28069e
man/man1/runtest.1
@comment MD5:7405857852107d27d1d219782f28be60
@dirrm lib/dejagnu
@cwd .
@ignore
+COMMENT
@ignore
+DESC
@ignore
+MTREE_DIRS
@mtree +MTREE_DIRS
