mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-20 02:26:32 +08:00
7 lines
169 B
Makefile
7 lines
169 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
|