added pypi entry in Makefile. now it is possible to upload a new source distribution and update packages.python.org/should_dsl using make pypi

Author: hltbra

Makefile

@@ -9,4 +9,12 @@ tox:
 integration: tox
 	tox
 
+distribute:
+	@python -c 'from setuptools import _distribute' 2>/dev/null || pip install distribute
+
+pypi: distribute
+	python setup.py sdist upload
+	cd docs && make html HTMLDIR=../build/docs
+	python setup.py upload_docs
+
 .PHONY: test integration

docs/Makefile

@@ -6,6 +6,7 @@ SPHINXOPTS    =
 SPHINXBUILD   = sphinx-build
 PAPER         =
 BUILDDIR      = _build
+HTMLDIR       = $(BUILDDIR)/html
 
 # Internal variables.
 PAPEROPT_a4     = -D latex_paper_size=a4
@@ -37,9 +38,9 @@ clean:
 	-rm -rf $(BUILDDIR)/*
 
 html: clean
-	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
+	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(HTMLDIR)
 	@echo
-	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
+	@echo "Build finished. The HTML pages are in $(HTMLDIR)."
 
 dirhtml:
 	$(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml