#!/bin/sh # user_vhdl_guide more $bin_vhdl_tools/user.guide