From 697e40f38341b9fbe9437c9a92938ea8015d1184 Mon Sep 17 00:00:00 2001
From: Luigi Scarso <luigi.scarso@gmail.com>
Date: Mon, 11 Feb 2019 16:18:45 +0000
Subject: [PATCH] fix timestamp for build

---
 source/texk/kpathsea/doc/kpathsea.info | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/texk/kpathsea/doc/kpathsea.info b/source/texk/kpathsea/doc/kpathsea.info
index 57d9c99d3..79727c0b9 100644
--- a/source/texk/kpathsea/doc/kpathsea.info
+++ b/source/texk/kpathsea/doc/kpathsea.info
@@ -1,5 +1,5 @@
 This is kpathsea.info, produced by makeinfo version 6.5 from
-kpathsea.texi.
+kpathsea.texi .
 
 This file documents the Kpathsea library for path searching.
 
-- 
GitLab