diff --git a/Makefile b/Makefile index 430090801..fdfaf9645 100644 --- a/Makefile +++ b/Makefile @@ -20,7 +20,9 @@ INSTALL_DATA = $(INSTALL) -m 644 INSTALL_DIR = $(INSTALL) -m 755 -d .PHONY: all -all: remove install +all: + $(MAKE) uninstall; + $(MAKE) install; # Use with # make HTOPTS=whatever html