From 18010ab1b350258f2e790bc396c23d9e68385a4a Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Tue, 2 Dec 2003 07:00:07 +0000
Subject: [PATCH] tex.mk: Add support for predefining DATE

---
 make/tex.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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\