diff options
| -rw-r--r-- | Makefile | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 40bb735..0000000 --- a/Makefile +++ /dev/null @@ -1,34 +0,0 @@ -# Copyright (C) 2011 Lars Wirzenius -# -# This program is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License along -# with this program; if not, write to the Free Software Foundation, Inc., -# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. - - -all: - $(MAKE) -C doc html - -clean: - rm -rf cliapp/*.py[co] .coverage build - $(MAKE) -C doc clean - -check: - python -m CoverageTestRunner --ignore-missing-from=without-tests - rm -f .coverage - pep8 cliapp - if command -v pylint --rcfile=pylint.conf > /dev/null && \ - pylint --version --rcfile=pylint.conf | grep -q '^pylint [1-9]'; \ - then \ - PYTHONPATH=. pylint --rcfile=pylint.conf \ - cliapp *.py test-plugins/*.py; \ - fi |