diff options
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -50,10 +50,10 @@ FLAGS = $(WARN) -std=gnu99 .PHONY: default -default: command shell doc +default: command shell info .PHONY: all -all: command shell info +all: command shell doc .PHONY: command |