#!/bin/sh
echo man "$@" >> "$HOME"/.history
