diff options
Diffstat (limited to 'debian/README.source')
-rw-r--r-- | debian/README.source | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/README.source b/debian/README.source new file mode 100644 index 0000000..9fb19fc --- /dev/null +++ b/debian/README.source @@ -0,0 +1,7 @@ +The files under doc/source/_themes/sphinx_rtd_theme/static/js/ +do not comply with the DFSG, because they were not included as +preferred form of modification, instead they were minified. +Therefore the whole doc/source/_themes directory was removed, +which only contained the sphinx_rtd_theme directory. + + -- Sakirnth Nagarasa <sakirnth@gmail.com> Tue, 21 Jun 2022 00:21:03 +0200 |