From aa8eb9b54d3844bde7cda784e4d65f5f383b7cd1 Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Wed, 11 Nov 2009 14:42:54 +0100
Subject: [PATCH] Add direct-irc button from old web site.  Fixes losing
 functionality.

   * Modified     Documentation/general/community.itexi

It could do with some marking-up/css'ing, though.  It looked fine
on the old site...
---
 Documentation/general/community.itexi | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/Documentation/general/community.itexi b/Documentation/general/community.itexi
index 6d12b89467..9ae0c22f33 100644
--- a/Documentation/general/community.itexi
+++ b/Documentation/general/community.itexi
@@ -117,6 +117,28 @@ Some level of support is provided on our IRC channel,
 This channel has no public archive, so any question that may
 be useful for others would better be posted to one of the mailing lists. 
 
+@html
+<form action="http://webchat.freenode.net"
+      method="get"
+      name="f_lily_irc"
+  <label>irc name:
+    <input name="nick" type="text" size="15" value="">
+  </label>
+  <input name="channels" type="hidden" value="lilypond">
+  <input type="submit" value="Join #lilypond IRC Chat">
+</form>
+
+<script language="JavaScript" type="text/javascript">
+  var username = "web";
+  var lang = window.navigator.userLanguage ? window.navigator.userLanguage
+  : window.navigator.language;
+  username += '-' + lang.substr(0, 2);
+  username += '-' + navigator.appName.substr(0, 2);
+  username += navigator.appCodeName.replace (" ", "").substr(0, 2);
+  username += navigator.platform.replace (" ", "").replace("nux", "").replace("n32", "");
+  document.forms["f_lily_irc"].nick.value = username;
+</script>
+@end html
 
 @subsubheading Other languages
 
-- 
2.39.5