diff options
Diffstat (limited to 'configure.pl')
| -rwxr-xr-x | configure.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.pl b/configure.pl index 601f1adcb..a5fac88ae 100755 --- a/configure.pl +++ b/configure.pl @@ -71,6 +71,7 @@ my %DOCS = ( 'credits.txt' => $DOC_DIR, # 'deprecated.txt' => $DOC_DIR, + 'info.txt' => $DOC_DIR, 'license.txt' => $DOC_DIR, 'log.txt' => $DOC_DIR, 'thanks.txt' => $DOC_DIR, |