Re: [O] org-info

[Nicolas Goaziou]

Hello,

address@hidden (Phillip Lord) writes:

> 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?

I think using https for orgmode.org is under consideration. Or do you
have another idea in mind?

> And have a link to the actual source added?

The "Corresponding Source" is at

  http://orgmode.org/worg/code/org-info-js/org-info-src.js

Would you like to provide a patch to correct `org-html-infojs-template'?

Regards,

-- 
Nicolas Goaziou