changeset 3745:9fa3585b160f stable

debian: add line to clean-docs target to delete additional docs file
author Faheem Mitha <faheem@faheem.info>
date Sat, 19 May 2018 18:26:36 +0530
parents 4a70392f1723
children 44542ac10170 a1a0cfbffd30
files debian/rules
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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