diff --git a/source/texk/kpathsea/doc/kpathsea.info b/source/texk/kpathsea/doc/kpathsea.info index 79727c0b9e2ce204ae41fa06abbfe68935950ec8..57d9c99d386469351193b73b4efaef71123c99ef 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.