diff options
author | Jan Holesovsky <kendy@collabora.com> | 2018-08-14 16:13:34 +0200 |
---|---|---|
committer | Jan Holesovsky <kendy@collabora.com> | 2018-08-14 16:29:25 +0200 |
commit | 1c76993a281f99a80c4dcbcf7e2133ef2dd3db69 (patch) | |
tree | d64a6167311bade82516df6adc97a885acf9d8b6 /help3xsl | |
parent | 3eea3745e5ee142962eb509032266e0c5762e943 (diff) |
Rename 'map' to 'hid2fileMap'.
Also update dependency, so that the file gets rebuilt when the 'echo'
part of the makefile changes.
Change-Id: I0412f882dd12e265d8261a259ed83c469e261cdf
Reviewed-on: https://gerrit.libreoffice.org/58993
Tested-by: Jenkins
Reviewed-by: Jan Holesovsky <kendy@collabora.com>
Diffstat (limited to 'help3xsl')
-rw-r--r-- | help3xsl/index2.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/help3xsl/index2.html b/help3xsl/index2.html index 4f7c744e27..6a9a1a6c8e 100644 --- a/help3xsl/index2.html +++ b/help3xsl/index2.html @@ -36,11 +36,11 @@ default: {defaultFile='text/shared/main0000.html';module="WRITER";break;} } var bookmark = target.slice(target.indexOf('/') + 1, target.length); - var file = map[bookmark]; + var file = hid2fileMap[bookmark]; // check first if a root bookmark @@nowidget@@ can be used if (file === undefined) { var b2 = bookmark.substring(0, bookmark.lastIndexOf("/")) + '/@@nowidget@@'; - file = map[b2]; + file = hid2fileMap[b2]; } // rebuild URL if (file === undefined) { |