diff --git a/Makefile b/Makefile deleted file mode 100644 index 6f0489fd..00000000 --- a/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -.PHONY: install deinstall refresh - -install: - $(MAKE) -C docs html $(MAKEFLAGS) - $(MAKE) -C docs install $(MAKEFLAGS) - -deinstall: - $(MAKE) -C docs clean $(MAKEFLAGS) - -refresh: - $(MAKE) -C docs clean $(MAKEFLAGS) - $(MAKE) -C docs html $(MAKEFLAGS)