#!/bin/sh # mnman mkdir -p "$HOME/docs/wr/man" wr "man/$1"