Merge branch 'master' into fix#5464
[ghc.git] / docs / Makefile
1 dir = docs
2 TOP = ..
3 include $(TOP)/mk/sub-makefile.mk
4