Bug#872944: www.debian.org: Debian Policy Manual not fully published

On 08/24/2017 09:01 AM, Laura Arjona Reina wrote:
> I'm not sure about the points below:
> 
> * If we should copy those javascript files to "live" under
> www.debian.org/doc/policy-manual or in another place in the
> www.debian.org site (or in cgi.debian.org?). For now, policy-manual is
> the only manual using them, but maybe in the future, more manuals are
> moved to use sphinx too. I'm not aware of any other piece of the website
> using Javascript, so I have no references of a canonical place to copy
> the files (we would also need to change the symlinks to point to that
> place, but that's another topic).
> 
> * If we should use the packages from "sid" as we use for the
> documentation packages, or stable, or backports...
> 
> * If the www-master.debian.org machine (and all the mirrors) should have
> the libjs-sphinxdoc, libjs-jquery and libjs-underscore packages
> installed, and we should find the way to use those from the website
> (change the symlinks, I guess, to... which path?)
> 
That won't work.  The mirroring will not like symlinks that point
outside of the source /srv/www.debian.org/www directory on www-master, IIRC.

> * Other solution?
> 
We could add aliases in the apache config on www mirrors to point at
/usr/share/javascript/foo, I guess, but that assumes things are happy
with the stable version of the libjs-* packages, which I'm not sure we
can rely on.

Cheers,
Julien