#!/bin/bash
echo man $1 | octave --quiet