diff --git a/make-includes/build_misc_rules.make b/make-includes/build_misc_rules.make index a5cd6d9..8dadd07 100644 --- a/make-includes/build_misc_rules.make +++ b/make-includes/build_misc_rules.make @@ -341,7 +341,6 @@ @echo "TIDY_FILES = [$(TIDY_FILES)]" @echo "CLEAN_FILES = [$(CLEAN_FILES)]" @echo "DRAFT = [$(DRAFT)]" - @echo "LATEX_OPTS = [$(LATEX_OPTS)]" @echo "TARGETS = [$(TARGETS)]"