From be5e76c320810a797b85c1d4ad3d1e12ec8e7fbb Mon Sep 17 00:00:00 2001 From: Igor Pashev Date: Fri, 5 Jun 2020 14:53:14 +0200 Subject: Remove some garbage --- Makefile | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 Makefile (limited to 'Makefile') diff --git a/Makefile b/Makefile deleted file mode 100644 index 5c71a12..0000000 --- a/Makefile +++ /dev/null @@ -1,9 +0,0 @@ -PACKAGE="$(shell stack list-dependencies --separator='-' | grep hakyll)" -LOCAL_DOC_ROOT="$(shell stack path --local-doc-root)" - -# Generate the docs and copy them to the website dir -haddock: - stack build --haddock --no-haddock-deps - rsync -r "$(LOCAL_DOC_ROOT)/$(PACKAGE)/" web/reference/ - -.PHONY: haddock -- cgit v1.2.3