diff --git a/sources b/sources
index f0a5687..c42e48a 100644
--- a/sources
+++ b/sources
@@ -1 +1,2 @@
 3df1cbca885e751e22d3ebd1ac64dc3c  dejagnu-1.5.tar.gz
+d70aca4d793a8fbdd6906b8ac5333195  dejagnu.texi