d/rules: Rebuild CSS using sass

diff --git a/debian/rules b/debian/rules
index 7e006782085705f938b68370e2fe106742b3fbc9..8f5560e47275d612fe798dd70f79b4b564ea5974 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -160,6 +160,9 @@ override_dh_clean: debian/control
        touch debian/control.in
        rm -f $(call dh_subst_files,$(all_binaries))
        rm -rf debian/build debian/install
+       # Rebuild the CSS from source. Note that gtk.css is hand-written,
+       # not generated, so don't delete that one.
+       rm -f gtk/theme/Default/Default-*.css
        dh_clean
 
 # Add dependencies to generate files from the debian/*.in ones