Commit aa5e2ddc authored by Simon Marlow's avatar Simon Marlow Committed by Simon Marlow

Make 'make fast' work for the User Guide

If you already have mkUserGuidePart compiled.
parent dbcaa8c2
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
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment