80d064e15d
Currently, the man pages are converted from a docbook document, but the conversion doesn't seem very reliable. Also, the man page is more-or-less duplicated by the html documentation. This commit moves all tool documentation to a markdown document which is readable by itself and can be converted by pandoc to a man page and can be used by Jekyll to populate the website.