Commit - rpms/dejagnu - 7491a00ad05f999e520508d2f10a7b7cd5af926c

raw patch tree parent

2 files changed. 32 lines added. 1 lines removed.

    - Remove mention of dejagnu.info from manpage, per comments in
        doc/Makefile.
    - Resolves: #230652

dejagnu-1.4.4-no-info.patch

file added

+24

dejagnu.spec

file modified

+8 -1