diff options
Diffstat (limited to 'macros/texinfo/texinfo/js/info.js')
-rw-r--r-- | macros/texinfo/texinfo/js/info.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/macros/texinfo/texinfo/js/info.js b/macros/texinfo/texinfo/js/info.js index 521d14ed68..c7b4313e54 100644 --- a/macros/texinfo/texinfo/js/info.js +++ b/macros/texinfo/texinfo/js/info.js @@ -1199,7 +1199,7 @@ store.dispatch ({ type: "iframe-ready", id: config.INDEX_ID }); store.dispatch ({ type: "echo", - msg: "Welcome to Texinfo documentation viewer 7.0.1, type '?' for help." + msg: "Welcome to Texinfo documentation viewer 7.0.2, type '?' for help." }); /* Call user hook. */ |