small modification to test docs update
changed man page name and section
Merge branch 'develop' of github.com:pgRouting/pgrouting into develop

Conflicts:
	VERSION