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

[Boris FELD]

I was checking the in-flight patches and saw that we never acknowledge
the reception of those patches.

Thank you, they have been merged in evolve.

Sorry about the delay.

On 19/05/2018 15:19, Faheem Mitha wrote:
> # 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
> _______________________________________________
> Mercurial-devel mailing list
> Mercurial-devel at mercurial-scm.org
> https://www.mercurial-scm.org/mailman/listinfo/mercurial-devel