equal
deleted
inserted
replaced
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 |