diff options
Diffstat (limited to 'help3xsl/xhp2html.sh')
| -rwxr-xr-x | help3xsl/xhp2html.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/help3xsl/xhp2html.sh b/help3xsl/xhp2html.sh index 919aa63f25..cccf73046f 100755 --- a/help3xsl/xhp2html.sh +++ b/help3xsl/xhp2html.sh @@ -35,7 +35,7 @@ rm -f $bookmarkFile touch $bookmarkFile stub2=\' -stub1='document.getElementById("Bookmarks").getElementsByClassName( "list" )[0].innerHTML='\'\\ +stub1='document.getElementsByClassName( "list" )[0].innerHTML='\'\\ echo $stub1 >> $bookmarkFile xslfile=get_bookmark.xsl @@ -171,8 +171,8 @@ cp index.html $here'/html/' cp help.html $here'/html/' cp index2.html $here'/html/'$productversion'/index.html' cp help.js $here'/html/'$productversion'/' -cp jquery-3.1.1.min.js $here'/html/'$productversion'/' -cp list.min.js $here'/html/'$productversion'/' +cp fuse.js $here'/html/'$productversion'/' +cp paginathing.js $here'/html/'$productversion'/' cp normalize.css $here'/html/'$productversion'/' cp default.css $here'/html/'$productversion'/' |