GNUmakefile: fix log file path

(It's in the build directory now.)

diff --git a/GNUmakefile b/GNUmakefile
index 89bb5d599304cb7f3c417d9da39e8da30f34d796..79791c4759dbe303becd01ed317512dcb623b9a5 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -174,7 +174,7 @@ endif
 # If the output PDF exists but the log file does not, then an attempt
 # to "build the log file" (i.e. build the PDF) would do nothing. Thus
 # whenever the log file does not exist, we do a fresh build.
-$(PN).log: $(SRCS)
+$(BUILDDIR)/$(PN).log: $(SRCS)
        $(MAKE) clean
        $(MAKE)
 
@@ -187,7 +187,7 @@ sage_listings/%.py: sage_listings/%.listing
 # Ensure that there are no overfull or underfull boxes in the output
 # document by parsing the log for said warnings.
 .PHONY: check-boxes
-check-boxes: $(PN).log
+check-boxes: $(BUILDDIR)/$(PN).log
        @! grep -i 'overfull\|underfull' $<
 
 # Run chktex to find silly mistakes. There is some exit code weirdness
@@ -201,7 +201,7 @@ check-chktex:
 # Ensure that there are no undefined references in the document by
 # parsing the log file for said warnings.
 .PHONY: check-undefined
-check-undefined: $(PN).log
+check-undefined: $(BUILDDIR)/$(PN).log
        @! grep -i 'undefined' $<
 
 # Use sage to doctest any \sagelisting{}s in SAGE_LISTING_DSTS.