#!/bin/sh cd `dirname $0` python3 addattribs.py || python2 addattribs.py cd `dirname $0`/doc/man mkdir -p ../../man/man1 mkdir -p ../../man/man5 mkdir -p ../../man/man8 ronn -r *.ronn mv *.1 ../../man/man1/ mv *.5 ../../man/man5/ mv *.8 ../../man/man8/