summaryrefslogtreecommitdiff
path: root/gcc/configure
diff options
context:
space:
mode:
authorbstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4>2010-01-04 07:17:41 +0000
committerbstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4>2010-01-04 07:17:41 +0000
commit14f02f29c87a1dad04bce2f4e73f81c13322e114 (patch)
tree05ab7e1771a466532857290dfb50157c94856ccb /gcc/configure
parent110557507c069b5d503b683d0ea74debd893e025 (diff)
downloadgcc-14f02f29c87a1dad04bce2f4e73f81c13322e114.tar.gz
2010-01-04 Basile Starynkevitch <basile@starynkevitch.net>
MELT branch merged with trunk rev 155603 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@155605 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/configure')
-rwxr-xr-xgcc/configure4
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/configure b/gcc/configure
index 7137ff416ac..678c3aa72c2 100755
--- a/gcc/configure
+++ b/gcc/configure
@@ -24848,8 +24848,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