doc/mini-dinstall.1
