Summary of changes: 900c1f7... bumped to version 0.3.1 (*) ada46d1... build and install the man page (*) b2e7f60... stop building the man page on ARM, no pandoc (*) (*) This commit already existed in another branch; no separate mail sent