[PATCH evolve-ext] debian: add line to clean-docs target to delete additional docs file

[Faheem Mitha]

# HG changeset patch
# User Faheem Mitha <faheem at faheem.info>
# Date 1526734596 -19800
#      Sat May 19 18:26:36 2018 +0530
# Branch stable
# Node ID 31a5c06bea822b58db8d77d23edea7832ae301c5
# Parent  4a70392f1723c9e31d8b7fa68b2fc942d024901d
debian: add line to clean-docs target to delete additional docs file

diff -r 4a70392f1723 -r 31a5c06bea82 debian/rules
--- a/debian/rules
+++ b/debian/rules
@@ -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