<STATUS> stat: DP pkg: GNU dejagnu 1.6.3 page: *.1 date: 2022-04-06 mail: ribbo****@users***** name: ribbon </STATUS> dejagnu-help.1 dejagnu-report-card.1 dejagnu.1 runtest.1 変更点は特にありませんでした。Make を再実行しただけです。結果は https://osdn.net/projects/linuxjm/scm/git/jm/tree/master/manual/GNU_dejagnu/draft/man1/ にあります。 ribbon