From 265e1567cd25bc1a237c5d148eaf493b6e914d51 Mon Sep 17 00:00:00 2001
From: Luigi Scarso <luigi.scarso@gmail.com>
Date: Mon, 11 Feb 2019 16:19:10 +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 79727c0b9..57d9c99d3 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