Move doc/texinfo.tex to config/texinfo.tex.

diff --git a/doc/texinfo.tex b/config/texinfo.tex
similarity index 99%
rename from doc/texinfo.tex
rename to config/texinfo.tex
index 54691035317155640a6085bc7995d4c39ae68516..aa31a6b0d6715a0e52fc005a861117133b280180 100644 (file)
--- a/doc/texinfo.tex
+++ b/config/texinfo.tex
@@ -1,5 +1,5 @@
 % texinfo.tex -- TeX macros to handle Texinfo files.
-% $Id: texinfo.tex,v 1.1 2000/06/16 07:49:23 drepper Exp $
+% $Id: texinfo.tex,v 1.1.1.1 2000/06/16 07:49:23 drepper Exp $
 %
 % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98
 % Free Software Foundation, Inc.
@@ -60,7 +60,7 @@
 
 % This automatically updates the version number based on RCS.
 \def\deftexinfoversion$#1: #2 ${\def\texinfoversion{#2}}
-\deftexinfoversion$Revision: 1.1 $
+\deftexinfoversion$Revision: 1.1.1.1 $
 \message{Loading texinfo package [Version \texinfoversion]:}
 
 % If in a .fmt file, print the version number