fix 64-bit value for W_SHIFT, which thankfully appears to be not used
[ghc-hetmet.git] / docs / ext-core / Makefile
1 dir = docs/users_guide
2 TOP = ../..
3 include $(TOP)/mk/sub-makefile.mk