dejagnu: update to 1.5

2013-11-20 17:07:24 +01:00
parent 881171acea
commit 9f828ed6bc
4 changed files with 10 additions and 29 deletions
--- a/dejagnu/meta/pkgdef
+++ b/dejagnu/meta/pkgdef
@@ -11,4 +11,5 @@ $_bindir
 $_includedir
 $_mandir
 $_sharedir/dejagnu
+$_infodir