diff --git a/make-includes/build_misc_rules.make b/make-includes/build_misc_rules.make index 33ca04c..44afe5b 100644 --- a/make-includes/build_misc_rules.make +++ b/make-includes/build_misc_rules.make @@ -350,11 +350,11 @@ # Debugging: print the values of the standard variables. # debug: - @$($ANNOUNCE) Externally defined variables + @$(ANNOUNCE) Externally defined variables @$(ECHO) "ALL_PAPERS_ROOT = [$(ALL_PAPERS_ROOT)]" @$(ECHO) "TEACHING_SHARED = [$(TEACHING_SHARED)]" @$(ECHO) "HANDBOOK_INSTALL_ROOT = [$(HANDBOOK_INSTALL_ROOT)]" - @$($ANNOUNCE) Internally defined variables + @$(ANNOUNCE) Internally defined variables @$(ECHO) "GLOBAL_HANDBOOK_INCLUDE = [$(GLOBAL_HANDBOOK_INCLUDE)]" @$(ECHO) "PAPER_INCLUDE_PATH = [$(PAPER_INCLUDE_PATH)]" @$(ECHO) "INSTALL_DIRECTORY = [$(INSTALL_DIRECTORY)]"