Package: gnuradio-doc Version: 3.7.10.1-2 Severity: minor Dear Maintainer,
When browsing the gnuradio HTML documentation at file:///usr/share/doc/gnuradio-doc/html/index.html, the side navigation bar is missing. The problem seems to be related to the jquery.js library which seems to be missing. Putting version 1.7.1 of jquery.js inside the /usr/share/doc/gnuradio- doc/html/ folder fixes the problem. -- System Information: Debian Release: 9.3 APT prefers stable-updates APT policy: (500, 'stable-updates'), (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 4.9.0-5-amd64 (SMP w/4 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) -- no debconf information
