debian/: Fix build-dependencies for building the manual.

[sod] / debian / rules

diff --git a/debian/rules b/debian/rules
index db3d030..005d451 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -9,6 +9,7 @@ export XDG_CACHE_HOME := $(shell pwd)/debian/build/cache
 override_dh_auto_clean:
        dh_auto_clean
        rm -rf debian/build/cache
+       rm -f doc/*.pdf
 
 ## Don't strip the main executable.  (It doesn't work, and you get left with
 ## a bare SBCL.)