Darko Poljak 0d64d6a5b6 docs/man -> docs/src and update Makefile and build-helper.		2016-06-30 15:13:21 +02:00
..
.gitignore	docs/man -> docs/src and update Makefile and build-helper.	2016-06-30 15:13:21 +02:00