diff --git a/make/tex.mk b/make/tex.mk index 5a08a08d..fe74d3c9 100644 --- a/make/tex.mk +++ b/make/tex.mk @@ -37,7 +37,7 @@ LATEX_INPUT = $(TEX) $(EPS) HTML_INPUT = $(HTML) $(IMAGES) # this comes in handy -DATE := $(shell date +'%b, %d, %Y') +DATE := $(if $(DATE),$(DATE),$(shell date +'%b, %d, %Y')) TEX_WARN_DONT_EDIT = "\ %+---------------------------------------------------+\n\ %| DO NOT EDIT THIS FILE! |\n\