Use UserInterrupt rather than our own Interrupted exception (#4100)
[ghc-hetmet.git] / docs / users_guide / Makefile
1 dir = docs/users_guide
2 TOP = ../..
3 include $(TOP)/mk/sub-makefile.mk