+# install-docs is a historical target that isn't supported in GHC 6.12. See #3662.
+install-docs:
+ @echo "The install-docs target is not supported in GHC 6.12.1 and later."
+ @echo "'make install' now installs everything, including documentation."
+ @exit 1
+