debian/rules
branchstable
changeset 3745 9fa3585b160f
parent 2072 c0a685c67c5c
child 4632 a1d191feaa84
equal deleted inserted replaced
3744:4a70392f1723 3745:9fa3585b160f
    28 
    28 
    29 clean-docs:
    29 clean-docs:
    30 	rm -rf html
    30 	rm -rf html
    31 	rm -f docs/static/logo-evolve.ico
    31 	rm -f docs/static/logo-evolve.ico
    32 	rm -f docs/tutorials/tutorial.rst
    32 	rm -f docs/tutorials/tutorial.rst
       
    33 	rm -f docs/tutorials/topic-tutorial.rst