diff --git a/doc/tools/texi2www/texi2wwwdoc.texi b/doc/tools/texi2www/texi2www.texi
similarity index 99%
rename from doc/tools/texi2www/texi2wwwdoc.texi
rename to doc/tools/texi2www/texi2www.texi
index 2791b0451c..c726564c39 100644
--- a/doc/tools/texi2www/texi2wwwdoc.texi
+++ b/doc/tools/texi2www/texi2www.texi
@@ -1,4 +1,4 @@
-\input texinfo @c -*-texinfo-*-
+\input ../../texinfo/texinfo   @c -*-texinfo-*-
 
 @comment %**start of header
 @setfilename texi2www