doc/mini-dinstall.1