diff options
| -rw-r--r-- | doc/tools/texi2www/texi2www.texi (renamed from doc/tools/texi2www/texi2wwwdoc.texi) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools/texi2www/texi2wwwdoc.texi b/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 |