sync-all: Push doesn't take a repo path either
[ghc-hetmet.git] / docs / users_guide / Makefile
1 dir = docs/users_guide
2 TOP = ../..
3 include $(TOP)/mk/sub-makefile.mk