diff options
Diffstat (limited to '')
| -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 | 
