diff options
Diffstat (limited to 'gcc/configure')
| -rwxr-xr-x | gcc/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/configure b/gcc/configure index 7a66785..4cb6cf7 100755 --- a/gcc/configure +++ b/gcc/configure @@ -24842,8 +24842,8 @@ done rm -f Make-hooks touch Make-hooks target_list="all.cross start.encap rest.encap tags \ - install-common install-man install-info install-pdf dvi pdf \ - html uninstall info man srcextra srcman srcinfo \ + install-common install-man install-info install-pdf install-html dvi \ + pdf html uninstall info man srcextra srcman srcinfo \ mostlyclean clean distclean maintainer-clean install-plugin" for t in $target_list |