Bug#765420: [Pkg-julia-devel] Bug#765420: Please, use libjs-modernizr instead of linking to an external website

2015-04-03 Thread David Prévot
Control: tags -1 + patch fixed-upstream Control: clone -1 -2 Control: retitle -2 Please, let dh_sphinxdoc use fonts-font-awesome and libjs-modernizr dependencies Hi Sébastien, On Sat, Nov 15, 2014 at 03:33:07PM -0400, David Prévot wrote: Le 15/11/2014 12:38, Sébastien Villemot a écrit : Le

Bug#765420: [Pkg-julia-devel] Bug#765420: Please, use libjs-modernizr instead of linking to an external website

2014-11-15 Thread David Prévot
Hi Sébastien, Le 15/11/2014 12:38, Sébastien Villemot a écrit : Le mardi 14 octobre 2014 à 18:27 -0400, David Prévot a écrit : Package: python-sphinx-rtd-theme Please, patch sphinx_rtd_theme/layout.html to use the JavaScript provided by libjs-modernizr instead of making all documentation

Bug#765420: [Pkg-julia-devel] Bug#765420: Please, use libjs-modernizr instead of linking to an external website

2014-11-15 Thread Sébastien Villemot
Hi David, Le mardi 14 octobre 2014 à 18:27 -0400, David Prévot a écrit : Package: python-sphinx-rtd-theme Version: 0.1.6-1 Severity: important Control: affects -1 php-guzzlehttp php-guzzlehttp-ringphp A package I’m maintaining switched to this theme (so I’m happy to see it already