## $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