git-difftool: Add '--gui' for selecting a GUI tool

[git.git] / git-instaweb.sh

diff --git a/git-instaweb.sh b/git-instaweb.sh
index 341930ca9d74867cf334952fc47bb3afe95552b7..b8e6456208d8cccb669eb125cfb2ac677443db82 100755 (executable)
--- a/git-instaweb.sh
+++ b/git-instaweb.sh
@@ -394,8 +394,15 @@ gitweb_css () {
 EOFGITWEB
 }
 
+gitweb_js () {
+       cat > "$1" <<\EOFGITWEB
+@@GITWEB_JS@@
+EOFGITWEB
+}
+
 gitweb_cgi "$GIT_DIR/gitweb/gitweb.cgi"
 gitweb_css "$GIT_DIR/gitweb/gitweb.css"
+gitweb_js  "$GIT_DIR/gitweb/gitweb.js"
 
 case "$httpd" in
 *lighttpd*)