Subject: Dejagnu Documentation

From: <[email-masked]>
Date: Wed, 19 Jun 2019 15:46:33 +0000

Hello,

I am wondering if the documentation is up to date.  The reason I ask this, I was reading the documentation page on 4.4 Adding a new board, and I don’t see a Makefile.am in the directory suggested.

Here is a link to the text I am talking about: https://www.gnu.org/software/dejagnu/manual/Adding-a-new-board.html#Adding-a-new-board

I have the dejagnu 1.6 installed.

Thanks,
Visda