# -*- mode: sh -*- # add_bin_man "$HOME/gcc" add_bin_man "$HOME/ccache"