diff options
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -326,7 +326,7 @@ TARGETS = $(CMD_TARGETS) $(GUI_TARGETS) | |||
326 | # If you want kernelshark, then do: make gui | 326 | # If you want kernelshark, then do: make gui |
327 | ### | 327 | ### |
328 | 328 | ||
329 | all: all_cmd show_gui_make | 329 | all: all_cmd doc show_gui_make |
330 | 330 | ||
331 | all_cmd: $(CMD_TARGETS) | 331 | all_cmd: $(CMD_TARGETS) |
332 | 332 | ||
@@ -502,7 +502,7 @@ install_python: $(PYTHON_SO_INSTALL) $(PYTHON_PY_INSTALL) | |||
502 | install_cmd: all_cmd install_plugins install_python | 502 | install_cmd: all_cmd install_plugins install_python |
503 | $(Q)$(call do_install,trace-cmd,$(bindir_SQ)) | 503 | $(Q)$(call do_install,trace-cmd,$(bindir_SQ)) |
504 | 504 | ||
505 | install: install_cmd | 505 | install: install_cmd install_doc |
506 | @echo "Note: to install the gui, type \"make install_gui\"" | 506 | @echo "Note: to install the gui, type \"make install_gui\"" |
507 | 507 | ||
508 | install_gui: install_cmd gui | 508 | install_gui: install_cmd gui |