diff options
Diffstat (limited to 'CustomTarget_html.mk')
| -rw-r--r-- | CustomTarget_html.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/CustomTarget_html.mk b/CustomTarget_html.mk index 00c6c7e2e8..50fd6aedd9 100644 --- a/CustomTarget_html.mk +++ b/CustomTarget_html.mk @@ -157,9 +157,9 @@ $(call gb_CustomTarget_get_workdir,helpcontent2/help3xsl)/%/bookmarks.js : $(call gb_Output_announce,$(subst $(WORKDIR)/,,$@),$(true),CAT,2) $(call gb_Helper_abbreviate_dirs,\ ( \ - echo 'document.getElementsByClassName( "index" )[0].innerHTML='"'"'\' \ + echo 'var bookmarks = [' \ && cat $(filter %.part,$^) \ - && echo "'" \ + && echo '];' \ ) > $@ \ ) |