summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorMichal Nowikowski <godfryd@gmail.com>2014-07-26 11:36:57 +0200
committerMichal Nowikowski <godfryd@gmail.com>2014-07-26 11:36:57 +0200
commit62bf347768e6fe0d4c90140b9f97c9a26b8f702c (patch)
tree07a88eea383dae961e9b0255b2873eb306e1fbdb /Makefile
parent472e2f3645f13ba99f4dbcef1283556a136954ff (diff)
downloadpylint-git-62bf347768e6fe0d4c90140b9f97c9a26b8f702c.tar.gz
Improved generating docs from Makefile.
--HG-- branch : make
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 27f5ca973..1fc985d3d 100644
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,9 @@ tests: $(TOX)
$(TOX) $(toxparams)
docs:
- PATH=$(PATH):$(CURDIR) PYTHONPATH=$(CURDIR)/.. make all -C doc
+ rm -f /tmp/pylint
+ ln -s -f $(CURDIR) /tmp/pylint
+ PYTHONPATH=/tmp make all -C doc
deb:
debuild -b -us -uc