Explanantion about texinfo.tex.

diff --git a/Admin/texinfo-version b/Admin/texinfo-version
new file mode 100644 (file)
index 0000000..f7925c6
--- /dev/null
+++ b/Admin/texinfo-version
@@ -0,0 +1,5 @@
+We use a quite old texinfo.tex version.
+The version 2003-02-03 on SuSE 9.0 produces mouse-click sensitive page numbers
+in the table of contents, but unfortunately it also produces wrong page numbers
+(one too low) for sections that happen to start on the top of a page.
+