#!/bin/bash
man -k . | wmenu -i -l 20 | awk '{print $1}' | xargs -r man
