diff options
-rw-r--r-- | doc/paper/Makefile | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/doc/paper/Makefile b/doc/paper/Makefile index c9c5ff1..4826882 100644 --- a/doc/paper/Makefile +++ b/doc/paper/Makefile @@ -87,11 +87,6 @@ PDF_FILE=main.pdf LATEX_MAIN_SOURCE=main.tex # -# All latex sources -# -LATEX_SUB_SOURCES:=$(shell find src -iname '*.tex') - -# # The main.aux file # AUX_FILE=main.aux @@ -169,7 +164,7 @@ test one_time: $(AUX_FILE) # # Generate main.aux from TeX sources # -$(AUX_FILE): $(LATEX_MAIN_SOURCE) $(LATEX_SUB_SOURCES) +$(AUX_FILE): $(LATEX_MAIN_SOURCE) @$(ECHO) "\t[LATEX]" @$(LATEX) $(LATEX_FLAGS) -draftmode $< >> $(MAKELOG) |