From f3d0d44a60cf35e564e69724c5cec1d82238d433 Mon Sep 17 00:00:00 2001
From: Reiner Herrmann <reiner@reiner-h.de>
Date: Fri, 30 Oct 2015 19:27:18 +0100
Subject: [PATCH] docs: clear timestamp embedded in DVI comment field

---
 docs/gendocs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/gendocs.sh b/docs/gendocs.sh
index a70b8e31..9e0bbb0c 100755
--- a/docs/gendocs.sh
+++ b/docs/gendocs.sh
@@ -46,7 +46,7 @@ templateurl="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/texinfo/texinfo/
 
 : ${SETLANG="env LANG= LC_MESSAGES= LC_ALL= LANGUAGE="}
 : ${MAKEINFO="makeinfo"}
-: ${TEXI2DVI="texi2dvi -t @finalout"}
+: ${TEXI2DVI="TEX=\"tex -output-comment=''\" texi2dvi --output-comment=\"\" -t @finalout"}
 : ${DOCBOOK2HTML="docbook2html"}
 : ${DOCBOOK2PDF="docbook2pdf"}
 : ${DOCBOOK2TXT="docbook2txt"}
-- 
2.30.2