diff options
Diffstat (limited to 'gcc/configure')
| -rwxr-xr-x | gcc/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/configure b/gcc/configure index e1b1a79621a..5a225da402b 100755 --- a/gcc/configure +++ b/gcc/configure @@ -15868,7 +15868,7 @@ done rm -f Make-hooks touch Make-hooks target_list="all.cross start.encap rest.encap tags \ - install-common install-man \ + install-common install-man install-info dvi html \ uninstall info man srcextra srcman srcinfo \ mostlyclean clean distclean maintainer-clean \ stage1 stage2 stage3 stage4 stageprofile stagefeedback" |