From cac61106011c3d5ff61536ae9d9ac3809bcdf887 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Thu, 22 Jul 2021 11:14:09 -0700 Subject: switch manual's Sphinx theme to sphinx_rtd_theme Signed-off-by: Sean Whitton --- debian/control | 1 + 1 file changed, 1 insertion(+) (limited to 'debian') diff --git a/debian/control b/debian/control index ca26690..60cb533 100644 --- a/debian/control +++ b/debian/control @@ -18,6 +18,7 @@ Build-Depends: python3-sphinx, sbcl, sphinx-common, + python3-sphinx-rtd-theme, texinfo, Standards-Version: 4.5.1 Homepage: https://spwhitton.name/tech/code/consfigurator/ -- cgit v1.2.3