doc/conf.py | 22 3 + 19 - 0 !
1 file changed, 3 insertions(+), 19 deletions(-)

 this patch remove the dependency on the fresco shpinx theme.
 That theme is not available in Debian so rtd is used instead.
 The patch also disable a potential privacy violation (see html_theme_options)