diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index dd894ff..0000000 --- a/Makefile +++ /dev/null @@ -1,16 +0,0 @@ -all: - $(MAKE) -C doc html - -check: - python -m CoverageTestRunner --ignore-missing-from=without-tests - rm -f .coverage - pep8 ttystatus - if command -v pylint && pylint --version | grep '^pylint [1-9]'; \ - then \ - PYTHONPATH=. pylint --rcfile=pylint.conf ttystatus; \ - fi - -clean: - rm -f .coverage ttystatus/*.py[co] - rm -rf build - $(MAKE) -C doc clean |