Integrate the documentation generator#236

fnussbaum wants to merge 1 commit into

viperproject:masterviperproject/viperserver:masterfrom

fnussbaum:viperdocfnussbaum/viperserver:viperdocCopy head branch name to clipboard