diff options
Diffstat (limited to 'ghc.mk')
-rw-r--r-- | ghc.mk | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -712,6 +712,7 @@ BUILD_DIRS := $(filter-out utils/haddock,$(BUILD_DIRS)) BUILD_DIRS := $(filter-out utils/haddock/doc,$(BUILD_DIRS)) endif ifeq "$(BUILD_SPHINX_HTML) $(BUILD_SPHINX_PDF)" "NO NO" +BUILD_DIRS := $(filter-out docs/users_guide,$(BUILD_DIRS)) # Don't to build this little utility if we're not building the User's Guide. BUILD_DIRS := $(filter-out utils/mkUserGuidePart,$(BUILD_DIRS)) endif |