diff --git a/doc/Makefile b/doc/Makefile index abcb14351f9401d735b7b1fd40ea2358d28a32f6..ab2a763d22e1e64878550e96ebf67495c371119e 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -20,6 +20,9 @@ DOC_SUBDIR=libraries/Cabal/doc XML_DOC = Cabal INSTALL_XML_DOC = $(XML_DOC) +binary-dist: + @: + include $(TOP)/mk/target.mk endif