2ba8875a0b
110445cba5
1 2
3
4 5 6
## $Id$ EXTRA_DIST = gnu_footer.html mk_install_dir Tool_Doc_Instructions \ gnu_header.html refcard.html gen_docs index.html rtems_tools_index.html \ gen_docs