diff options
| -rwxr-xr-x | bin/generate_doxygen.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/generate_doxygen.pl b/bin/generate_doxygen.pl index 14370ff8424..f4cf0844d90 100755 --- a/bin/generate_doxygen.pl +++ b/bin/generate_doxygen.pl @@ -23,7 +23,8 @@ $is_release = 0; 'tao_iormanip', 'tao_iortable', 'tao_esf', - 'tao_rtevent'); + 'tao_rtevent', + 'tao_implrepo'); # Modify defaults using the command line arguments &parse_args (); |