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 e1f72d7..ba7be7c 100755 --- a/gcc/configure +++ b/gcc/configure @@ -16674,8 +16674,8 @@ done rm -f Make-hooks touch Make-hooks target_list="all.cross start.encap rest.encap tags \ - install-common install-man install-info dvi pdf html \ - uninstall info man srcextra srcman srcinfo \ + install-common install-man install-info install-pdf dvi pdf \ + html uninstall info man srcextra srcman srcinfo \ mostlyclean clean distclean maintainer-clean" for t in $target_list |