Prepared for release 0.3.1

* Updated version info in setup script
* Added PDF documentation to distribution setup

Makefile

@@ -13,10 +13,10 @@ doc: doc/mkexp.pdf
 check:
 	python test.py -v
 
-dist:
+dist: doc
 	python setup.py sdist
 
-install: all
+install: doc
 	python setup.py install --prefix=$(prefix)
 
 .PHONY: all clean distclean doc check dist install

setup.py

 from distutils.core import setup
 
 name = 'mkexp'
-version = '0.3.1dev'
+version = '0.3.1'
 
 setup(
     name = name,
@@ -13,6 +13,7 @@ setup(
     url = 'http://code.zmaw.de/projects/esmenv',
     py_modules = ['configobj', 'validate', 'feedback', 'expconfig'],
     scripts = ['mkexp', 'getexp', 'rmexp', 'diffexp', 'diffpath'],
+    data_files = [('share/doc/'+name, ['doc/mkexp.pdf'])],
     platforms = ['Posix'],
     license = 'LICENSE.txt',
     requires = ['Jinja2(>= 2.6)']