diff options
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 |