Replace non-portable Awk code in dejagnu auxiliary launcher
[dejagnu.git] / doc / 
tree6d50e63b803fe4c72a276970124e849bbc6e0b0b
drwxr-xr-x   ..
-rw-r--r-- 107 .gitignore
-rw-r--r-- 1132 dejagnu-help.1
-rw-r--r-- 5557 dejagnu-report-card.1
-rw-r--r-- 3667 dejagnu.1
-rw-r--r-- 206984 dejagnu.texi
-rw-r--r-- 21986 fdl.texi
-rw-r--r-- 4347 runtest.1
-rw-r--r-- 382357 texinfo.tex
-rw-r--r-- 103 version.texi