Hello, phillip.l...@russet.org.uk (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
