diff options
author | Rémi Flamary <remi.flamary@gmail.com> | 2016-10-24 16:45:03 +0200 |
---|---|---|
committer | Rémi Flamary <remi.flamary@gmail.com> | 2016-10-24 16:45:03 +0200 |
commit | eff2e5304269482e1ce2e7d6e1271e068134bfa4 (patch) | |
tree | c2248be446f3e1f6f3eb12595fdc78e734b8dade /Makefile | |
parent | 2f2bee41dcc2685a2ee9adfd60253ebb3131e5e8 (diff) |
cleanup
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -31,6 +31,11 @@ sremove : tr '\n' '\0' < files.txt | sudo xargs -0 rm -f -- rm files.txt +doc : + cd docs + make html + cd .. + clean : $(PYTHON) setup.py clean |