Manpages of dejagnu

• dejagnu-help(1)
• dejagnu-report-card(1)
• dejagnu(1)
• runtest(1)