From mboxrd@z Thu Jan  1 00:00:00 1970
From: phillip.lord@russet.org.uk (Phillip Lord)
Subject: org-info
Date: Sat, 16 Jul 2016 23:05:33 +0100
Message-ID: <87fur95jde.fsf@russet.org.uk>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:55547)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <phillip.lord@russet.org.uk>) id 1bOXjB-0006lX-TN
	for emacs-orgmode@gnu.org; Sat, 16 Jul 2016 18:06:31 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <phillip.lord@russet.org.uk>) id 1bOXj5-0005mL-Sr
	for emacs-orgmode@gnu.org; Sat, 16 Jul 2016 18:06:28 -0400
Received: from cloud103.planethippo.com ([31.216.48.48]:55850)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <phillip.lord@russet.org.uk>) id 1bOXj5-0005fg-Gb
	for emacs-orgmode@gnu.org; Sat, 16 Jul 2016 18:06:23 -0400
Received: from cpc1-benw10-2-0-cust373.gate.cable.virginm.net
	([77.98.219.118]:39700 helo=russet.org.uk)
	by cloud103.planethippo.com with esmtpsa
	(TLSv1.2:DHE-RSA-AES128-SHA:128) (Exim 4.86_1)
	(envelope-from <phillip.lord@russet.org.uk>) id 1bOXiP-0002Bj-Lu
	for emacs-orgmode@gnu.org; Sat, 16 Jul 2016 23:05:41 +0100
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode/>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: "Emacs-orgmode"
	<emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
To: emacs-orgmode@gnu.org



I'm having two problems with org-info.js.

Firstly, it's currently available and is linked into generated HTML at
http://orgmode.org/org-info.js; this makes it non-functional when
delivered via https.

Secondly, in HTML generated by org mode, this license condition is
added:

* As additional permission under GNU GPL version 3 section 7, you
 * may distribute non-source (e.g., minimized or compacted) forms of
 * that code without the copy of the GNU GPL normally required by
 * section 4, provided you include this license notice and a URL
 * through which recipients can access the Corresponding Source.

which is fine, except that by default, the URL doesn't appear to be
added. There is this:

  * @source: http://orgmode.org/org-info.js

but that's not the source, but a minimized version.

Is it possible to have an option for linking via https? And have a link
to the actual source added?

Phil