mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-22 00:41:57 +08:00
6 lines
168 B
Makefile
6 lines
168 B
Makefile
## $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
|