--- a/debian/rules Mon May 14 15:25:38 2018 -0700 +++ b/debian/rules Sat May 19 18:26:36 2018 +0530 @@ -30,3 +30,4 @@ rm -rf html rm -f docs/static/logo-evolve.ico rm -f docs/tutorials/tutorial.rst + rm -f docs/tutorials/topic-tutorial.rst