diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2017-08-24 12:49:06 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-08-25 17:23:49 -0400 |
| commit | 8f19c65c66e38709a8acba8f86015053d2c04126 (patch) | |
| tree | 23896a094ccdccd4f9531afc79ae2921ed382421 /docs/users_guide/Makefile | |
| parent | 76e59a270118080d61e0c272011d318c68790951 (diff) | |
| download | haskell-8f19c65c66e38709a8acba8f86015053d2c04126.tar.gz | |
Rip out mkUserGuidePart
Reviewers: austin, hvr
Subscribers: rwbarton, thomie, erikd
Differential Revision: https://phabricator.haskell.org/D3886
Diffstat (limited to 'docs/users_guide/Makefile')
| -rw-r--r-- | docs/users_guide/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/docs/users_guide/Makefile b/docs/users_guide/Makefile index 27f3a117dd..4e820eb19f 100644 --- a/docs/users_guide/Makefile +++ b/docs/users_guide/Makefile @@ -2,6 +2,3 @@ dir = docs/users_guide TOP = ../.. include $(TOP)/mk/sub-makefile.mk - -# This makes 'make fast' work: assume that mkUserGuidePart exists -FAST_MAKE_OPTS += utils/mkUserGuidePart_dist_NOT_NEEDED=YES |