Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Alex D
GHC
Commits
20f0cead
Commit
20f0cead
authored
Nov 16, 2009
by
Simon Marlow
Browse files
Add an install-docs target that emits a helpful diagnostic (#3662)
parent
ab89b495
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
20f0cead
...
...
@@ -45,7 +45,7 @@ endif
include
mk/custom-settings.mk
# No need to update makefiles for these targets:
REALGOALS
=
$(
filter-out
binary-dist binary-dist-prep bootstrapping-files framework-pkg clean clean_% distclean maintainer-clean show
help
,
$(MAKECMDGOALS)
)
REALGOALS
=
$(
filter-out
binary-dist binary-dist-prep bootstrapping-files framework-pkg clean clean_% distclean maintainer-clean show
help
install-docs
,
$(MAKECMDGOALS)
)
# configure touches certain files even if they haven't changed. This
# can mean a lot of unnecessary recompilation after a re-configure, so
...
...
@@ -108,6 +108,12 @@ framework-pkg:
$(MAKE)
-C
distrib/MacOS
$@
endif
# 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
# If the user says 'make A B', then we don't want to invoke two
# instances of the rule above in parallel:
.NOTPARALLEL
:
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment