History subr/ex_rtl_install.subr

subr/ex_rtl_install.subr: prepend ${_prefix} to source pathname as well.
Lucio Andrés Illanes Albornoz (arab, vxp) • 6 years ago  
subr/*.subr: fix header legends.
Lucio Andrés Illanes Albornoz (arab, vxp) • 7 years ago  
Separate front end (build.sh, subr/build_*) from dispatcher.
Lucio Andrés Illanes Albornoz (arab, vxp) • 7 years ago